Sites Inria

There are 1 Results with the keyword : "Theorems"

© INRIA Sophie Auvin - P comme Protocole

Séminaire des équipes de recherche

Séminaire Prosecco


We present composition theorems for security protocols, to compose a key exchange protocol and a symmetric-key protocol that uses the exchanged key. Our results rely on the computational model of cryptography and are stated in the framework of the tool CryptoVerif.

Place : Inria de Paris, 2 rue Simone Iff, Salle Jacques-Louis Lions 1, bâtiment C

Guest(s) : Bruno Blanchet (Prosecco)


Home > Centre > Paris > Calendar > Séminaire Prosecco

lire la suite