Sites Inria

There are 1 Results with the keyword : "EverCrypt"

© INRIA Sophie Auvin - G comme Grille

Research Teams Seminar

Gallium Seminar


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


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

lire la suite