Sommaire

  • Cet exposé a été présenté le 08 octobre 2004.

Description

  • Orateur

    Jacques Stern - ENS

Dans cet exposé, on présentera la méthodologie des preuves de sécurité dans la conception et l'analyse des algorithmes cryptographiques. On donnera ensuite deux exemples où ces preuves font appel à des résultats de théorie des nombres: le premier relatif au schéma de chiffrement OAEP, dont la preuve de sécurité complète a été achevée dans un travail avec E. Fujisaki, T. Okamoto et D.Pointcheval; le second relatif au schéma de signature ESIGN, dont la preuve de sécurité a été achevée dans un travail avec T. Okamoto.

Prochains exposés

  • TBA

    • 18 septembre 2026 (13:45 - 14:45)

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

    Orateur : Eran Lambooij - Inria

    • Cryptography

  • TBA

    • 25 septembre 2026 (13:45 - 14:45)

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

    Orateur : Anmoal Porwal - Technical University of Munich

    • Cryptography

    • Asymmetric primitive

Voir les exposés passés
Haut de page