There are 1 Results with the keyword : "Theorems"
Séminaire des équipes de recherche
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)