EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cedric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Beguelin

Journal title: 2020 IEEE Symposium on Security and Privacy (SP)

Journal publisher: IEEE

Published year: 2020

Published pages: 983-1002

DOI identifier: 10.1109/sp40000.2020.00114

ISBN: 978-1-7281-3497-0