Table of contents

  • This session has been presented June 04, 2004.

Description

  • Speaker

    Frédéric Muller - DCSSI

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

Next sessions

  • CryptoVerif: a computationally-sound security protocol verifier

    • September 05, 2025 (13:45 - 14:45)

    • IRMAR - Université de Rennes - Campus Beaulieu Bat. 22, RDC, Rennes - Amphi Lebesgue

    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

Show previous sessions
Page top