Table of contents

  • This session has been presented June 17, 2016.

Description

  • Speaker

    Paul Kirchner - Rennes 1

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.

Next sessions

  • CryptoVerif: a computationally-sound security protocol verifier

    • September 05, 2025 (13:45 - 14:45)

    • IRMAR - Université de Rennes - Campus Beaulieu Bat. 22, RDC, Rennes - Amphi Lebesgue

    Speaker : 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

Show previous sessions
Page top