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 Cédric Fournet Tahina Ramananandro Aseem Rastogi Nikhil Swamy Christoph M. Wintersteiger Santiago Zanella Béguelin

Published in: IACR Cryptol. ePrint Arch. (2019)

Keyphrases