EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider
Jonathan Protzenko,
Bryan Parno,
Aymeric Fromherz,
Chris Hawblitzel,
Marina Polubelova,
Karthikeyan Bhargavan,
Benjamin Beurdouche,
Joonwon Choi,
Antoine Delignat-Lavaud,
Cedric Fournet,
Natalia Kulatova,
Tahina Ramananandro,
Aseem Rastogi,
Nikhil Swamy,
Christoph Wintersteiger,
Santiago Zanella-Beguelin
June 2019