Thèse soutenue

FR  |  
EN
Accès à la thèse
Auteur / Autrice : Charles Bouillaguet
Direction : David Pointcheval
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 2011
Etablissement(s) : Paris 7

Mots clés

FR

Résumé

FR  |  
EN

La cryptanalyse est la science qui consiste à trouver des défauts dans des constructions cryptographiques. Dans cette thèse, nous étudions trois familles de primitives cryptographiques. Les fonctions de hachage sont des constructions itérées, où un mode opératoire précise l'usage d'une brique de base. De nouveaux modes opératoires ont été proposés suite à la découverte d'attaques contre la construction usuelle. Ces attaques exploitent des collisions internes dans la fonction de hachage. Nos résultats tendent à montrer qu'elles sont quasiment impossibles à éviter, car nous parvenons à monter des attaques en seconde préimage contre certains de ces nouveaux modes. Nous nous intéressons ensuite à la cryptanalyse de l'AES dans un modèle restrictif où la quantité de paires clair/chiffré est très faible. Nous avons construit des outils automatiques pour nous assister dans la recherche d'attaques par test d'hypothèses partielles ou par le milieu. Ces outils ont découverts des attaques surprenantes, et notamment la meilleure attaque connue contre Pelican-MAC et contre LEX. La dernière partie est consacrée à la cryptanalyse de schémas multivariés, c'est-à-dire reposant explicitement sur la difficulté de résoudre des systèmes polynomiaux en plusieurs variables. Certains de ces schémas reposent aussi sur une autre hypothèse algorithmique, la difficulté problème de l'Equivalence Linéaire de Polynômes (PLE). Nous proposons de nouveaux algorithmes pour PLE. Ceci montre qu'un schéma dont la sécurité reposerait sur PLE ne peut pas exhiber un niveau de sécurité optimal, et que la variante "sous- corps" de HFE est cassée en pratique