Cryptology ePrint Archive: BibTeX Citation of Report 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
		    Natalia Kulatova 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},
    note         = {\url{}},

You will need the url.sty package (comes with most LaTeX installations) for the last line. Otherwise, remove the \url command.

[ Cryptology ePrint archive ]