HACL* une bibliothèque de cryptographie formellement vérifiée dans Firefox — Benjamin Beurdouche, Jean Karim Zinzindohoue
Date : 15 June 2018 à 10:15 — 30 min.
Conférence francophone sur le thème de la sécurité de
l'information.
Elle a eu lieu
à Rennes du 13 au 15 juin 2018.