Séminaire des équipes-projets

Compositional Game-Based Models for Key Exchange

A 10h30, entrée libre

  • Date : 25/11/2011
  • Lieu : École Normale Supérieure, Salle INFO 2 - NIR
  • Intervenants : Marc Fischlin (Darmstadt University of Technology)

A secure channel between two parties allows to communicate securely over a public channel by wrapping the channel communication into a cryptographically protected layer. Most secure channel protocols assume that the two parties already share a common secret, which is usually first established in a so-called key exchange protocol (such as the handshake protocol in TLS/SSL).
An interesting question from a cryptographic point of view is which properties the key exchange protocol must satisfy, in order to provide security when composed with the secure channel. In this talk we survey some of our recent results to provide compositional guarantees for a broader class of key exchange protocols, such that protocols like TLS/SSL can now also be shown to compose securely.

Mots-clés : Key exchange Séminaire Équipe-projet CASCADE

Haut de page

Siège et centres de recherche Inria

Accès direct

Social