Description
En 2002 Gentry et Szydlo ont inventé un algorithme sur les anneaux cyclotomiques pour casser un schéma de signatures NTRU. Depuis, il a trouvé d'autres applications, tant en cryptographie qu'en théorie algébrique des nombres.<br/> On va présenter une simplification de cet algorithme, qui peut être étendu à tout corps de nombres. En particulier, on peut calculer dans le groupe des classes polarisé en temps polynomial. Les applications peuvent aussi s'étendre aux corps à multiplication complexe.
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
-