Description
Depuis moins d'une dizaine d'années nous faisons face à l'apparition de nouvelles applications de la cryptographie symétrique, parmi lesquelles la cryptographie dédiée à la protection de petits objets connectés (dite cryptographie à bas coût) ainsi que celle adaptée aux schémas de chiffrement homomorphe. Pour ces applications, les contraintes imposées sur les chiffrements sont si fortes que les designers doivent s'éloigner des critères de conception usuels. Nous étudierons deux exemples de tels chiffrements - le chiffrement par bloc Zorro et la version initiale du chiffrement à flot Flip - et montrerons que malgré les précautions prises par les designers les choix de conception se sont avérés malheureux.
Next sessions
-
CryptoVerif: a computationally-sound security protocol verifier
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
-