Sites Inria

Il y a 1 Résultats avec le mot clé : "EverCrypt"

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

14/10/2019

EverCrypt is a comprehensive collection of verified, high-performance cryptographic functionalities available via a carefully designed API. 

Lieu : Inria de Paris, Salle Lions 1, bâtiment C - 10h30

Intervenant(s) : Jonathan Protzenko, Microsoft Research

Mots-clés :

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

lire la suite

Haut de page

Suivez Inria