Sommaire

  • Cet exposé a été présenté le 24 octobre 2014.

Description

  • Orateur

    Thomas Prest - ENS

Les réseaux euclidiens (ou réseaux) permettent de construire une grande variété de primitives cryptographiques. Cependant, les implémentations efficaces de schémas basés sur les réseaux se sont jusqu'à présent toujours limitées à des primitives basiques comme le chiffrement et les signatures électroniques.<br/> La principale raison à cette limitation est le fait qu'au coeur de nombre de ces schémas se trouve un algorithme "d'échantillonnage" (GPV - Gentry, Peikert, Vaikuntanathan, STOC 2003) produisant des résultats qui étaient trop longs pour des applications pratiques. Dans ces travaux, nous montrons qu'il existe une distribution particulière sur les réseaux de type NTRU, qui rend réalistes les schémas basés sur GPV. Plus concrètement, nous présentons le premier schéma de chiffrement basé sur l'identité (IBE), utilisant les réseaux et doté de paramètres concrets - les chiffrés et clefs utilisateurs font entre 2ko et 4ko, et le chiffrement comme le déchiffrement prennent environ une milliseconde sur un ordinateur moyen de gamme.<br/> Comme conséquence directe, nous obtenons également un schéma de signature compact pour la taille des signatures.

Prochains exposés

  • CryptoVerif: a computationally-sound security protocol verifier

    • 05 septembre 2025 (13:45 - 14:45)

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

    Orateur : 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

Voir les exposés passés