Sites Inria

Il y a 24 Résultats avec le mot clé : "Prosecco"

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

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

Intervenant(s) : Bruno Blanchet (Prosecco)

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Prosecco

lire la suite

© INRIA Sophie Auvin - P comme Protocole

Séminaire des équipes de recherche

Séminaire Prosecco

24/07/2018

Bringing the benefits of gradual typing to a language with parametric polymorphism like System F, while preserving relational parametricity, has proven extremely challenging: first attempts were formulated a decade ago, and several recent developments have been published in the past year.

Lieu : Inria de Paris - 2 rue Simone IFF 75012 - Batiment C- Salle Lions 2

Intervenant(s) : Éric Tanter (University of Chile)

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Prosecco

lire la suite

Cybersécurité

Prosecco : les protocoles cryptographiques sous bonne garde

COM CRI Paris (*) - 5/02/2019

Mi-janvier, Inria a rendu public son Livre blanc sur la cybersécurité , mettant en lumière cinq défis scientifiques à relever pour l'avenir. Parmi ceux-ci figure en bonne place la sécurité des protocoles cryptographiques. C'est précisément le terrain de jeu de l'équipe Prosecco (Inria de Paris). 

Mots-clés :

Accueil > Centre > Paris > Actualités > Prosecco : les protocoles cryptographiques sous bonne garde

Lire la suite

© INRIA Sophie Auvin - P comme Protocole

Séminaire des équipes de recherche

Séminaire Prosecco

9/10/2019

For performance and security reasons, it is sometimes necessary to program at the lowest levels of abstraction, using a mixture of C and assembly. In this talk, we present techniques that allow verifying such code for correctness and side-channel resistance.

Lieu : Mercredi 9 octobre, 11h00 ✫ Salle Jacques-Louis Lions 2

Intervenant(s) : Nik Swamy (MSR) and Aymeric Fromherz (CMU)

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Prosecco

lire la suite

Haut de page

Suivez Inria