Typing High-Speed Cryptography against Spectre v1

The current gold standard of cryptographic software is to write efficient libraries with systematic protections against timing attacks. In order to meet this goal, cryptographic engineers increasingly use high-assurance cryptography tools. These tools guide programmers and provide rigorous guarantee...

Full description

Bibliographic Details

Published in:	Proceedings - IEEE Symposium on Security and Privacy pp. 1094 - 1111
Main Authors:	Shivakumar, Basavesh Ammanaghatta, Barthe, Gilles, Gregoire, Benjamin, Laporte, Vincent, Oliveira, Tiago, Priya, Swarn, Schwabe, Peter, Tabary-Maujean, Lucas
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.05.2023
Subjects:	Libraries NIST Privacy Quantum computing Software Standardization Systematics
ISSN:	2375-1207
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!