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...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings - IEEE Symposium on Security and Privacy s. 1094 - 1111
Hlavní autoři:	Shivakumar, Basavesh Ammanaghatta, Barthe, Gilles, Gregoire, Benjamin, Laporte, Vincent, Oliveira, Tiago, Priya, Swarn, Schwabe, Peter, Tabary-Maujean, Lucas
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.05.2023
Témata:	Libraries NIST Privacy Quantum computing Software Standardization Systematics
ISSN:	2375-1207
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!