Soutenance de thèse de Colin Chaigneau

Colin Chaigneau soutient sa thèse intitulée « Cryptanalyse des algorithmes de chiffrement symétrique   » le mercredi 28 novembre 2018, à 14h30, dans l’amphi B, bâtiment Descartes.

Thèse sur HAL

Résumé : La sécurité des transmissions et du stockage des données est devenue un enjeu majeur de ces dernières années et la cryptologie, qui traite de la protection algorithmique de l’information, est un sujet de recherche extrêmement actif. Elle englobe la conception d’algorithmes cryptographiques, appelée cryptographie, et l’analyse de leur sécurité, appelée cryptanalyse. Dans cette thèse, nous nous concentrons uniquement sur la cryptanalyse, et en particulier celle des algorithmes de chiffrement symétrique, qui reposent sur le partage d’un même secret entre l’entité qui chiffre l’information et celle qui la déchiffre. Dans ce manuscrit, trois attaques contre des algorithmes de chiffrement symétriques sont présentées. Les deux premières portent sur deux candidats de l’actuelle compétition cryptographique CAESAR, les algorithmes AEZ et NORX, tandis que la dernière porte sur l’algorithme Kravatte, une instance de la construction Farfalle qui utilise la permutation de la fonction de hachage décrite dans le standard SHA-3. Les trois algorithmes étudiés présentent une stratégie de conception similaire, qui consiste à intégrer dans une construction nouvelle une primitive, i.e. une fonction cryptographique élémentaire, déjà existante ou directement inspirée de travaux précédents. La compétition CAESAR, qui a débuté en 2015, a pour but de définir un portefeuille d’algorithmes recommandés pour le chiffrement authentifié. Les deux candidats étudiés, AEZ et NORX, sont deux algorithmes qui ont atteint le troisième tour de cette compétition. Les deux attaques présentées ici ont contribué à l’effort de cryptanalyse nécessaire dans une telle compétition. Cet effort n’a, en l’occurrence, pas permis d’établir une confiance suffisante pour justifier la présence des algorithmes AEZ et NORX parmi les finalistes. AEZ est une construction reposant sur la primitive AES, dont l’un des principaux objectifs est d’offrir une résistance optimale à des scénarios d’attaque plus permissifs que ceux généralement considérés pour les algorithmes de chiffrement authentifié. Nous montrons ici que dans de tels scénarios il est possible, avec une probabilité anormalement élevée, de retrouver l’ensemble des secrets utilisés dans l’algorithme. NORX est un algorithme de chiffrement authentifié qui repose sur une variante de la construction dite en éponge employée par exemple dans la fonction de hachage Keccak. Sa permutation interne est inspirée de celles utilisées dans BLAKE et ChaCha. Nous montrons qu’il est possible d’exploiter une propriété structurelle de cette permutation afin de récupérer la clé secrète utilisée. Pour cela, nous tirons parti du choix des concepteurs de réduire les marges de sécurité dans le dimensionnement de la construction en éponge. Enfin, la dernière cryptanalyse remet en cause la robustesse de l’algorithme Kravatte, une fonction pseudo-aléatoire qui autorise des entrées et sorties de taille variable. Dérivée de la permutation Keccak-p de SHA-3 au moyen de la construction Farfalle, Kravatte est efficace et parallélisable. Ici, nous exploitons le faible degré algébrique de la permutation interne pour mettre au jour trois attaques par recouvrement de clé : une attaque différentielle d’ordre supérieur, une attaque algébrique « par le milieu » et une attaque inspirée de la cryptanalyse de certains algorithmes de chiffrement à flot.

Soutenance de thèse de Colin Chaigneau