L'équipe "Cryptis" est une équipe de recherche Mathématiques-Informatique, à large spectre de recherche en cryptographie/sécurité sur le continuum de la théorie à la pratique et très reliée au Master Cryptis. Le responsable de l'équipe est Philippe Gaborit et le responsable adjoint Francois Arnault. 

Le recherche

L'équipe est organisée autour de 4 projets de recherche :

1. Cryptologie,
2. Attaques physiques et cryptologie des systèmes embarqués,
3. Sécurité des systèmes et des réseaux,
4. Mathématiques discrètes, codage, arithmétique effective et applications.

Avec les sous-thématiques non exhaustives suivantes :

1) Cryptologie (resp. O. Blazy)

• Preuves de securité,
• Cryptologie quantique,
• Cryptologie quantum resistant (post-quantique),
• Cryptologie à clé secrète.

2) Attaques physiques et carte à puce (resp. C. Clavier)

• Attaques par canaux cachés,
• Attaques par injection de fautes,
• Cryptologie des systèmes embarqués.

3) Sécurité des systèmes et réseaux (resp. D. Sauveron)

• Sécurité des réseaux,
• Protection de la vie privée,
• Systèmes embarqués.

4) Mathématiques discrètes, codage et applications (resp. P. Gaborit)

• Codage et applications (watermarking, network coding, algoritmique, etc,
• Combinatoire,
• Mathématiques discrètes,
• Arithmétique effective.

Les domaines d'applications :

Protection des systèmes d'information, Protection de la vie privée, Cryptographie en environnement contraint, Internet des Objets (IoT), Cartes à puce, RFID, TPM, systèmes embarqués, drones (et flottes de drones), Réseau 5G, e-santé, blockchain, vote électronique, network coding.

L'équipe dispose en particulier d'une plate-forme technique de sécurisation des IoT.

Les faits marquants de l'équipe :

- Exemples de publications récentes de l'équipe :

2019

Nicolas Aragon, Olivier Blazy, Philippe Gaborit, Adrien Hauteville, Gilles Zémor : "Durandal: A Rank Metric Based Signature Scheme", EUROCRYPT (3) 2019: 728-758

2018

Nicolas Desmoulins, Pierre-Alain Fouque, Cristina Onete, Olivier Sanders : "Pattern Matching on Encrypted Streams", ASIACRYPT (1) 2018: 121-148

Carlos Aguilar Melchor, Olivier Blazy, Jean-Christophe Deneuville, Philippe Gaborit, Gilles Zémor : "Efficient Encryption From Random Quasi-Cyclic Codes", IEEE Trans. Information Theory 64(5): 3927-3943 (2018)

Karthikeyan Bhargavan, Ioana Boureanu, Antoine Delignat-Lavaud, Pierre-Alain Fouque, Cristina Onete : "A Formal Treatment of Accountable Proxying Over TLS", IEEE Symposium on Security and Privacy 2018: 799-816

Mohamed Amine Bouazzouni, Emmanuel Conchon, Fabrice Peyrard : "Trusted mobile computing: An overview of existing solutions",  Future Generation Comp. Syst. 80: 596-612 (2018)

2017

Jérémy Chotard, Edouard Dufour Sans, Romain Gay, Duong Hieu Phan, David Pointcheval : "Decentralized Multi-Client Functional Encryption for Inner Product", ASIACRYPT (2) 2018: 703-732

Philippe Gaborit, Adrien Hauteville, Duong Hieu Phan, Jean-Pierre Tillich : "Identity-Based Encryption from Codes with Rank Metric", CRYPTO (3) 2017: 194-224

San Ling, Duong Hieu Phan, Damien Stehlé, Ron Steinfeld : "Hardness of k-LWE and Applications in Traitor Tracing", Algorithmica 79(4): 1318-1352 (2017)

Shweta Agrawal, Sanjay Bhattacherjee, Duong Hieu Phan, Damien Stehlé, Shota Yamada : "Efficient Public Trace and Revoke from Standard Assumptions: Extended Abstract", CCS 2017: 2277-2293

Christophe Clavier, Léo Reynaud : "Improved Blind Side-Channel Analysis by Exploitation of Joint Distributions of Leakages", CHES 2017: 24-44

2016

Olivier Blazy, Céline Chevalier, Paul Germouty : "Adaptive Oblivious Transfer and Generalization", ASIACRYPT (2) 2016: 217-247

Olivier Blazy, Céline Chevalier : "Structure-Preserving Smooth Projective Hashing", ASIACRYPT (2) 2016:

Philippe Gaborit, Olivier Ruatta, Julien Schrek : "On the Complexity of the Rank Syndrome Decoding Problem", IEEE Trans. Information Theory 62(2): 1006-1019 (2016)

Luca Caputo, Stéphane Vinatier : "Galois module structure of the square root of the inverse different in even degree tame extensions of number fields", en collaboration avec Luca Caputo, Journal of Algebra 468 (2016) pp. 103-154

Philippe Gaborit, Gilles Zémor : "On the Hardness of the Decoding and the Minimum Distance Problems for Rank Codes", IEEE Trans. Information Theory 62(12): 7245-7252 (2016)

Carlton Shepherd, Ghada Arfaoui, Iakovos Gurulian, Robert P. Lee, Konstantinos Markantonakis, Raja Naeem Akram, Damien Sauveron, Emmanuel Conchon : "Secure and Trusted Execution: Past, Present, and Future - A Critical Review in the Context of the Internet of Things and Cyber-Physical Systems", Trustcom/BigDataSE/ISPA 2016: 168-177

- Organisation de conférences / comités de pilotage : 

Asiacrypt 2016 (organisation), GT-C2 du GDR IM (comité de pilotage), PQCrypto (comité de pilotage), WISTP (comité de pilotage), Chair du Working Group 11.2 de IFIP "Pervasive Systems Security".

Les applications industrielles et contrats :

- Concours international de standardisation du NIST pour la cryptographie post-quantique :

1er tour (11/2017) : l'équipe est impliquée dans 8 projets soumis au NIST (sur 69 au total au niveau mondial - https://csrc.nist.gov/Projects/Post-Quantum-Cryptography).

• BIKE (collaboration avec INRIA, ATOS-WORLDLINE, INTEL, AMAZON)
• LAKE (collaboration Univ. Bordeaux)
• OUROBOROS-R (collaboration avec ATOS-WORLDLINE)
• HQC (collaboration avec ATOS-WORLDLINE)
• RQC (collaboration avec ATOS-WORLDLINE)
• BIG QUAKE (collaboration avec INRIA, Polytechnique)
• LOCKER (collaboration Univ. Bordeaux)
• RANKSIGN (collaboration Univ. Bordeaux)

2ème tour (2/2018): en chiffrement/échange de clés l'équipe est présente dans 4 des 17 candidats du 2ème tour : HQC, RQC, BIKE, ROLLO (une fusion de LAKE, LOCKER et OUROBOROS-R)

- Thèses CIFRE :

• (2019 - aujourd'hui) B. Cottier (avec ENS PARIS + Worldline)
• (2018 - aujourd'hui) L. Moreau (avec Icohup)
• (2017 - aujourd'hui) Y. Connan (avec Worldline)
• (2014 - 2017) Q. Alamélou (avec WORLDLINE)

- Contrats ANR : IDFIX (2016-2020), ALAMBIC (2016-2010), CBCRYPT (2017-2021), MOBIS5 (2018-2022), CRYPTIQ (2018-2022)

- Contrats industriels : THALES, WORLDLINE

- Contrats européens : projet ALC (Airbus, Factem, PureLiFi, XLIM)

De plus, l'équipe entretient des liens priviligiés avec les équipes cryptologie/sécurité académiques du Royal Hollaway à Londres, mais aussi de l'ENS à Paris ainsi que du projet INRIA Secret.