A Roadmap for High Assurance Cryptography - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2017

A Roadmap for High Assurance Cryptography

Harry Halpin
  • Function : Author
  • PersonId : 993700


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.
Fichier principal
Vignette du fichier
paper.pdf (182 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01673294 , version 1 (29-12-2017)


  • 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⟩


224 View
485 Download


Gmail Facebook X LinkedIn More