High-Assurance Cryptography in the Spectre Era

Gilles Barthe, Sunjay Cauligi, Benjamin Grégoire, Adrien Koutsos, Kevin Liao, Tiago Oliveira, Swarn Priya, Tamara Rezk, Peter Schwabe
April 2021
PDF
Type
Conference paper
Publication
IEEE Symposium on Security and Privacy, S&P 2021, San Fransisco / Virtual, United States