Rachelle Heim soutient sa thèse intitulée « Cryptanalyse symétrique : des modes aux primitives », encadrée par Henri Gilbert, Christina Boura et Yann Rotella,
le mardi 15 octobre 2024 à 14h, à Inria Paris, amphithéâtre Jacques-Louis Lions.
Résumé : Ce mémoire présente des contributions à l’analyse de la sécurité des cryptosystèmes symétriques, ou cryptanalyse symétrique. Nous étudions à la fois la sécurité des primitives (et plus précisément, de chiffrements par blocs, de fonctions de hachage et d’un chiffrement à flot) et des modes opératoires (et plus précisément, de modes dédiés au chiffrement authentifié et de modes dédiés au hachage). Concernant la cryptanalyse de primitives, nous utilisons et proposons des améliorations à plusieurs techniques de cryptanalyse classiques, parmi lesquelles les attaques différentielles et par linéarisation. En ce qui concerne la cryptanalyse de modes, nous améliorons plusieurs attaques génériques grâce à l’introduction de nouvelles techniques basées sur des fonctions aléatoires dites exceptionnelles. Nous étudions également un schéma de chiffrement authentifié entièrement spécifié. La plupart de nos attaques considèrent des instances complètes, et plusieurs aboutissent à une cryptanalyse complète du cryptosystème considéré.