Soutenance HDR de Magali BARDET Lundi 12 décembre 2022 à 14h, Amphi D UFR Sciences Madrillet

Magali Bardet soutiendra son HDR Lundi 12 décembre 2022 à 14h, Amphi D, UFR des Sciences, Site du Madrillet.

Son HDR est intitulé : 
Algebraic cryptanalysis in codebased and multivariate cryptography

Composition du jury:
- Élisa GORLA, Professeure, University of Neuchâtel (Switzerland) Rapporteur
- Antoine JOUX, Tenured faculty, CISPA and honorary professor, University of Saarbrücken (Germany), Rapporteur
- Pierre LOIDREAU, DGA MI et  Université de Rennes 1, Rapporteur
- Ayoub OTMANI, Professeur, Université de Rouen, Directeur de recherche
- Philippe GABORIT, Professeur, Université de Limoges, Examinateur
- Jean-Pierre TILLICH, Directeur de Recherche, INRIA Paris, Examinateur.

Résumé:
La cryptographie consiste à concevoir des primitives, comme des systèmes d'échange de clefs ou de signature, permettant entre autre de sécuriser les échanges sur internet. Ces primitives reposent sur des problèmes mathématiques difficiles, si possible NP complet. La cryptanalyse algébrique consiste à modéliser ces problèmes sous forme d'un système d'équations polynomiales, dont l'ensemble des solutions (idéalement petit) contient une secret (clef privée, message secret, etc). Nous utilisons ensuite des outils de calcul formel pour résoudre efficacement ces systèmes. Ici, efficace signifie que l’on cherche à atteindre la meilleure complexité, mais généralement, comme les problèmes étudiés sont NP-complet, cette complexité est exponentielle. Il arrive, rarement, que certains systèmes puissent se résoudre en temps polynomial, dans ce cas le système cryptographique est considéré comme totalement cassé et est abandonné. Je présenterai les modélisations et les algorithmes de résolution auxquels j'ai contribué dans mes travaux de recherche en cryptographie basée sur les codes et cryptographie multivariée, et les impacts que ces travaux ont eu sur la compétition en cours actuellement pour standardiser des algorithmes post-quantiques (i.e. résistants à des attaques par ordinateur quantique).