Sites Inria

There are 2 Results with the keyword : "TLS 1.3"

© 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


Prosecco: cryptographic protocols in safe custody


In mid-January Inria published its white paper on cybersecurity, highlighting 5 scientific challenges that need to be met for the future. High on the list is the security of cryptographic protocols. This is precisely the playing field of the Prosecco team (Inria Paris). 


Home > Centre > Paris > News > Prosecco : les protocoles cryptographiques sous bonne garde