Thèse soutenue

Techniques de cryptanalyse dédiées au chiffrement à bas coût

FR  |  
EN
Auteur / Autrice : Daniel Coggia
Direction : Anne CanteautChristina Boura
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance le 08/10/2021
Etablissement(s) : Sorbonne université
Ecole(s) doctorale(s) : École doctorale Informatique, télécommunications et électronique de Paris (1992-...)
Partenaire(s) de recherche : Laboratoire : Institut national de recherche en informatique et en automatique (France). Centre de recherche de Paris (Paris)
Jury : Président / Présidente : Damien Vergnaud
Examinateurs / Examinatrices : Gregor Leander, Gael Thomas, Jérémy Jean
Rapporteurs / Rapporteuses : Pierre-Alain Fouque, Marine Minier

Résumé

FR  |  
EN

Cette thèse contribue à l’effort de cryptanalyse de primitives symétriques comme les chiffrements par bloc ou les générateurs pseudo-aléatoires. Elle étudie en particulier une famille de distingueurs fondés sur la propagation de sous-espaces vectoriels différentiels dans les chiffrements par bloc de construction SPN. Cette thèse propose également des méthodes permettant aux cryptographes de modéliser un problème de cryptanalyse de primitive symétrique en problème MILP (Mixed-Integer Linear Programming), afin d’exploiter certains logiciels solutionneurs de problèmes MILP très performants. Enfin, elle présente des techniques d’analyse algébrique des primitives symétriques, fondées sur le calcul d’une partie de leur forme algébrique normale, et utiles dans les attaques de type cube.