EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider
by Jonathan Protzenko and
Bryan Parno and
Aymeric Fromherz and
Chris Hawblitzel and
Marina Polubelova and
Karthikeyan Bhargavan and
Benjamin Beurdouche and
Joonwon Choi and
Antoine Delignat-Lavaud and
Cédric Fournet and
Natalia Kulatova and
Tahina Ramananandro and
Aseem Rastogi and
Nikhil Swamy and
Christoph M. Wintersteiger and
Santiago Zanella-Béguelin