Sites Inria

There are 1 Results with the keyword : "cryptographic"

© INRIA Sophie Auvin - G comme Grille

Research Teams Seminar

Gallium Seminar

14/10/2019

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

Place : Inria de Paris, Room Jacques Louis Lions 1, building C - 10:30am

Guest(s) : Jonathan Protzenko, Microsoft Research

Keywords:

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

lire la suite

Top