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.
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/hal-01673294
Contributor : Harry Halpin <>
Submitted on : Friday, December 29, 2017 - 3:26:25 AM
Last modification on : Thursday, April 26, 2018 - 10:28:03 AM

File

paper.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01673294, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

266

Files downloads

443