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
Cedric Fournet and
Tahina Ramananandro and
Aseem Rastogi and
Nikhil Swamy and
Christoph Wintersteiger and
Santiago Zanella-Béguelin