There are 2 Results with the keyword : "TLS 1.3"
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)
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).