Jeudi 28 novembre 2024, 14:00 à 15:00

Salle de séminaire du département informatique

Charles Brion

(LITIS)

La recherche de nouveaux protocoles de sécurité (chiffrement, signature, mécanisme d'échange de clefs, etc) est motivée par la menace quantique. Les primitives cryptographiques (problèmes mathématiques sur lesquels repose la sécurité des protocoles informatiques) démontrées NP-complètes sont supposées résister aux attaques quantiques. L'équivalence de sous-codes pour différentes métriques en fait partie. Une signature fondée sur ce problème en métrique rang a été soumise à PQCrypto2025. Nous présenterons brièvement le protocole et ses concepts clefs puis nous développerons l'analyse algébrique que nous avons faite pour cette soumission. Le but de notre travail est de résoudre le problème en résolvant un système d'équations polynomiales. Pour ce faire nous utilisons la théorie des bases de Gröbner, polynômes générateurs de l'idéal du système représentant "au mieux" les solutions des équations.