Description
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.
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
-