Description
L'algorithme XL est un algorithme utilisé en cryptographie pour déterminer une solution d'un système polynômial dans un corps fini. Cet algorithme est assez efficace : il peut en effet résoudre des cryptosystèmes engendrés par des registres filtrés en temps polynômial avec un nombre de couple clair-chiffré polynômial en la taille de la clef.<br/> Il existait auparavant différents algorithmes de résolution de systèmes polynômiaux comme le calcul des bases de Gröbner. Nous allons tout d'abord nous intéresser à certains algorithmes de calcul des bases de Gröbner pour comprendre les calculs effectuées et les critères développés. Puis, nous verrons la structure de l'algorithme XL et les remarques faites par l'auteur sur cet algorithme. Enfin, nous étudierons ce que calcul exactement l'algorithme XL du point de vue des bases de Gröbner et proposerons un algorithme émulé utilisant le calcul de bases de Gröbner. A partir de cet algorithme émulé, nous effectuerons des comparaisons sur le cryptosystème HFE.
Prochains exposés
-
CryptoVerif: a computationally-sound security protocol verifier
Orateur : Bruno Blanchet - Inria
CryptoVerif is a security protocol verifier sound in the computational model of cryptography. It produces proofs by sequences of games, like those done manually by cryptographers. It has an automatic proof strategy and can also be guided by the user. It provides a generic method for specifying security assumptions on many cryptographic primitives, and can prove secrecy, authentication, and[…]-
Cryptography
-