Skip to Main content Skip to Navigation
Conference papers

A Roadmap for High Assurance Cryptography

Abstract : Although an active area of research for years, formal verification has still not yet reached widespread deployment. We outline the steps needed to move from low-assurance cryptography, as given by libraries such as OpenSSL, to high assurance cryptography in deployment. In detail, we outline the need for a suite of high-assurance cryptographic software with per-microarchitecture optimizations that maintain competitive speeds with existing hand-optimized assembly and the bundling of these cryptographic primitives in a new API that prevents common developer mistakes. A new unified API with both formally verified primi-tives and an easy-to-use interface is needed to replace OpenSSL in future security-critical applications.
Document type :
Conference papers
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download
Contributor : Harry Halpin Connect in order to contact the contributor
Submitted on : Friday, December 29, 2017 - 3:26:25 AM
Last modification on : Thursday, April 26, 2018 - 10:28:03 AM


Files produced by the author(s)


  • HAL Id : hal-01673294, version 1



Harry Halpin. A Roadmap for High Assurance Cryptography. FPS 2017 - 10th International Symposium on Foundations & Practice of Security, Oct 2017, Nancy, France. pp.1-9. ⟨hal-01673294⟩



Record views


Files downloads