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 Wintersteiger, Santiago Zanella Béguelin. EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider. IACR Cryptology ePrint Archive, 2019:757, 2019. [doi]

Authors

Jonathan Protzenko

This author has not been identified. Look up 'Jonathan Protzenko' in Google

Bryan Parno

This author has not been identified. Look up 'Bryan Parno' in Google

Aymeric Fromherz

This author has not been identified. Look up 'Aymeric Fromherz' in Google

Chris Hawblitzel

This author has not been identified. Look up 'Chris Hawblitzel' in Google

Marina Polubelova

This author has not been identified. Look up 'Marina Polubelova' in Google

Karthikeyan Bhargavan

This author has not been identified. Look up 'Karthikeyan Bhargavan' in Google

Benjamin Beurdouche

This author has not been identified. Look up 'Benjamin Beurdouche' in Google

Joonwon Choi

This author has not been identified. Look up 'Joonwon Choi' in Google

Antoine Delignat-Lavaud

This author has not been identified. Look up 'Antoine Delignat-Lavaud' in Google

Cédric Fournet

This author has not been identified. Look up 'Cédric Fournet' in Google

Tahina Ramananandro

This author has not been identified. Look up 'Tahina Ramananandro' in Google

Aseem Rastogi

This author has not been identified. Look up 'Aseem Rastogi' in Google

Nikhil Swamy

This author has not been identified. Look up 'Nikhil Swamy' in Google

Christoph Wintersteiger

This author has not been identified. Look up 'Christoph Wintersteiger' in Google

Santiago Zanella Béguelin

This author has not been identified. Look up 'Santiago Zanella Béguelin' in Google