EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella Béguelin. EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider. In 2020 IEEE Symposium on Security and Privacy, SP 2020, San Francisco, CA, USA, May 18-21, 2020. pages 983-1002, IEEE, 2020. [doi]

This author has not been identified. Look up 'Jonathan Protzenko' in GoogleThis author has not been identified. Look up 'Bryan Parno' in GoogleThis author has not been identified. Look up 'Aymeric Fromherz' in GoogleThis author has not been identified. Look up 'Chris Hawblitzel' in GoogleThis author has not been identified. Look up 'Marina Polubelova' in GoogleThis author has not been identified. Look up 'Karthikeyan Bhargavan' in GoogleThis author has not been identified. Look up 'Benjamin Beurdouche' in GoogleThis author has not been identified. Look up 'Joonwon Choi' in GoogleThis author has not been identified. Look up 'Antoine Delignat-Lavaud' in GoogleThis author has not been identified. Look up 'Cédric Fournet' in GoogleThis author has not been identified. Look up 'Natalia Kulatova' in GoogleThis author has not been identified. Look up 'Tahina Ramananandro' in GoogleThis author has not been identified. Look up 'Aseem Rastogi' in GoogleThis author has not been identified. Look up 'Nikhil Swamy' in GoogleThis author has not been identified. Look up 'Christoph M. Wintersteiger' in GoogleThis author has not been identified. Look up 'Santiago Zanella Béguelin' in Google

runs on WebDSL