@misc{cryptoeprint:2019:757,
    author = {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-Beguelin},
    title = {EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider},
    howpublished = {Cryptology ePrint Archive, Report 2019/757},
    year = {2019},
    url = {https://eprint.iacr.org/2019/757},
}