Description
Dans cet exposé, on s'intéressera à la cryptanalyse différentielle d'algorithmes à clé secrète. Ces techniques ont été introduites initialement dans le cas du chiffrement par bloc. On décrira dans quel contexte et comment on peut les appliquer également contre des algorithmes de chiffrement par flot. Le propos sera illustré par des exemples récents d'attaques (Helix, Turing, etc ...)
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
-