Description
Les fonctions éponges sont un nouveau type de primitives cryptographiques introduites par Bertoni et al. et utilisées pour la construction de fonctions de hachage. Elles représentent une solution de remplacement intéressante à l'algorithme d'extension de domaine classique de Merkle-Damgard et leur sécurité fut récemment prouvée dans le modèle de l'indifférentiabilité en supposant la fonction interne comme idéale. Nous étudierons dans cet exposé la cryptanalyse d'une généralisation des fonctions éponges, tout d'abord d'un point de vue assez général avec les attaques par glissement. Ensuite, nous traiterons deux cas particuliers avec l'analyse de sécurité de Grindahl et de RadioGatun, deux fonctions de hachage récemment publiées et appartenant à la famille des fonctions éponges généralisées.
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
-