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.
Type de document :
Communication dans un congrès
FPS 2017 - 10th International Symposium on Foundations & Practice of Security, Oct 2017, Nancy, France. pp.1-9
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01673294
Contributeur : Harry Halpin <>
Soumis le : vendredi 29 décembre 2017 - 03:26:25
Dernière modification le : jeudi 4 janvier 2018 - 15:20:20

Fichier

paper.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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

Partager

Métriques

Consultations de la notice

17

Téléchargements de fichiers

9