Sommaire

  • Cet exposé a été présenté le 24 novembre 2006.

Description

  • Orateur

    Cécile Delerablée - France Telecom

Un schéma de chiffrement broadcast doit permettre à un diffuseur de chiffrer un contenu à l'attention d'un groupe d'utilisateurs, tout en ayant la possibilité d'en révoquer n'importe quel sous-groupe à tout moment. Ces contraintes sont responsables de la grande inefficacité de la plupart des schémas existants. Nous présenterons le premier schéma de chiffrement broadcast, qui est à la fois dynamique et sans état interne pour les receveurs. Plus précisément nous pouvons ajouter dynamiquement des membres au groupe, en ne modifiant aucune information nécessaire aux membres déjà présents. Nous pouvons de plus révoquer tout sous-groupe d'utilisateurs, temporairement ou non. Le schéma présenté permet d'obtenir des résultats optimaux en termes d'efficacité: les chiffrés et les clés de déchiffrement sont de tailles constantes. Nous montrerons pour finir comment modifier notre schéma afin de permettre le traçage des traîtres (Travail effectué en collaboration avec David Pointcheval et Pascal Paillier).

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