Description
Durant les 25 dernières années, plusieurs généralisations de la cryptanalyse différentielle et de la cryptanalyse linéaire ont été proposées et ont permis d'attaquer un certain nombre de systèmes de chiffrement symétrique. Dans cet exposé, nous décrirons ces attaques et nous expliquerons les récents liens qui ont été trouvés entre différentes attaques de ces deux familles. En particulier nous traiterons le cas des attaques différentielles impossibles, des attaques différentielles tronquées, des attaques linéaires multidimensionnelles et des attaques linéaires avec corrélation nulle. Nous expliquerons aussi, comment nous avons pu calculer la complexité en donnée d'une attaque statistique par saturation grâce au lien récemment établi entre cette attaque et l'attaque différentielle tronquée. Le cas de la cryptanalyse différentielle-linéaire sera aussi abordé. Ces résultats sont le fruit de collaborations avec Kaisa Nyberg et Gregor Leander.
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
-