High-Assurance Cryptography Software in the Spectre Era

Gilles Barthe, Sunjay Cauligi, Benjamin Grégoire, Adrien Koutsos, Kevin Liao, Tiago Oliveira 0004, Swarn Priya, Tamara Rezk, Peter Schwabe. High-Assurance Cryptography Software in the Spectre Era. IACR Cryptology ePrint Archive, 2020:1104, 2020. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: