Cryptanalyse Algébrique de Schémas Post-Quantiques et Hypothèses Associées - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2023

Algebraic Cryptanalysis of Post-Quantum Schemes and Related Assumptions

Cryptanalyse Algébrique de Schémas Post-Quantiques et Hypothèses Associées

Résumé

This thesis studies the effect of algebraic techniques on certain post-quantum cryptosystems. We give attacks on multivariate and code-based schemes in the rank metric, some of which have been proposed to standardization by NIST. Most of these works involve the MinRank problem or structured versions of it. We have devised new polynomial modelings for some of these versions and contributed to strengthening the analysis of existing ones, in particular the Support-Minors modeling (Bardet et al., EUROCRYPT 2020). Our break of a recent multivariate encryption scheme (Raviv et al., PKC 2021) was also a MinRank attack. Finally, we studied other algebraic systems no longer related to MinRank arising from the cryptanalysis of the Regular Syndrome Decoding (Augot et al., Mycrypt 2005) and that of a symmetric primitive tailored to zero-knowledge proofs (Bouvier et al., CRYPTO 2023).
Cette thèse étudie l'effet des approches algébriques sur certains cryptosystèmes postquantiques. Nous donnons des attaques contre des schémas multivariés et des schémas basés sur les codes correcteurs en métrique rang, dont certains ont été proposés au NIST. Ces travaux font intervenir le problème MinRank ou des versions structurées. Nous avons conçu de nouvelles modélisations algébriques pour certaines de ces versions et contribué à améliorer l'analyse d'autres existantes, en particulier le système Support-Minors (Bardet et al., EUROCRYPT 2020). Notre cassage d'un schéma de chiffrement multivarié récent (Raviv et al., PKC 2021) était également une attaque MinRank. Enfin, nous avons étudié d'autres systèmes polynomiaux indépendants, issus de la cryptanalyse du Regular Syndrome Decoding (Augot et al., Mycrypt 2005) et de celle d'une primitive symétrique utilisée dans le cadre de preuves zero-knowledge (Bouvier et al., CRYPTO 2023).
Fichier principal
Vignette du fichier
140215_BRIAUD_2023_archivage.pdf (1.74 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

tel-04483393 , version 1 (21-12-2023)
tel-04483393 , version 2 (29-02-2024)

Licence

Paternité

Identifiants

  • HAL Id : tel-04483393 , version 1

Citer

Pierre Briaud. Cryptanalyse Algébrique de Schémas Post-Quantiques et Hypothèses Associées. Informatique [cs]. Sorbone Université, 2023. Français. ⟨NNT : ⟩. ⟨tel-04483393v1⟩
401 Consultations
132 Téléchargements

Partager

Gmail Facebook X LinkedIn More