Table of contents

  • This session has been presented September 09, 2016.

Description

  • Speaker

    Carlos Aguilar - INP ENSEEIHT

Dans cette présentation je décrirai dans un premier temps ce que sont les réseaux d’idéaux et leur importance en cryptographie. Ensuite je présenterai quelques techniques (NTT-CRT, opérations modulaires rapides) permettant de manipuler les objets associés à faible coût. Finalement je décrirai comment réaliser des implémentations simples et efficaces de cryptosystèmes fondés sur les réseaux grâce à NFLlib.

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