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

26/06/2018

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)

Keywords:

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

lire la suite

Cybersecurity

Prosecco: cryptographic protocols in safe custody

11/02/2019

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). 

Keywords:

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

More

Top