Soutenance de thèse

[English version here]

Centre Inria de Paris, 2 rue Simone Iff, 75012 Paris

Métros Dugommier ou Gare de Lyon

Quand

Le Vendredi 15 Novembre, à 14h.

Quoi

Soutenance de ma thèse, intitulée Hidden structures and quantum cryptanalysis, dont vous pouvez télécharger le manuscrit (en anglais). Mon jury est composé de :

  • María Naya-Plasencia (Inria), Directrice de thèse
  • Bart Preneel (Katholieke Universiteit Leuven), Rapporteur
  • Gilles Van Assche (STMicroelectronics), Rapporteur
  • André Chailloux (Inria), Examinateur
  • Luca De Feo (IBM Research, Zürich), Examinateur
  • Henri Gilbert (ANSSI), Examinateur
  • Gregor Leander (Ruhr-Universität Bochum), Examinateur
  • Damien Vergnaud (Sorbonne Université), Examinateur
  • Yu Sasaki (NTT), Invité

Résumé

Dans cette thèse, nous étudions la sécurité de systèmes cryptographiques face à un adversaire muni d'un ordinateur quantique. En algorithmique quantique, nous avons étudié les problèmes de période cachée et de décalage caché, qui sont parmi les rares problèmes connus à ce jour ayant des applications en cryptographie et pour lesquels le meilleur algorithme quantique connu est plus que polynomialement plus rapide que le meilleur algorithme classique connu. Nous avons proposé des améliorations, de nouveaux compromis entre temps et mémoire classiques et quantiques, et étendu leur champ d'applications à des scénarios où seul un oracle classique est accessible.

Côté cryptanalyse, en cryptographie symétrique, nous avons proposé des attaques de constructions symétriques utilisant des décalages cachés, et généralisé de nombreuses attaques exploitant des périodes cachées aux cas où la construction n'est accessible que classiquement. Nous avons proposé une cryptanalyse quantique des différentes versions du chiffrement authentifié AEZ ainsi que des versions quantiques de multiples slide attacks, qui sont une famille classique d'attaques. Cette reformulation d'attaques dans le formalisme des périodes cachées nous a permis de proposer de nouvelles attaques classiques sur différentes variantes du chiffrement MiMC. En cryptographie asymétrique, nous avons proposé une étude concrète et asymptotique de la sécurité quantique de schémas d'échange de clé à base d'isogénies. Enfin, nous avons étudié la sécurité dans des cadres où ces problèmes de structures cachées ne s'appliquent pas, avec notamment la première analyse de sécurité quantique d'AES, le chiffrement symétrique le plus utilisé à l'heure actuelle.