Typing High-Speed Cryptography against Spectre v1.

Basavesh Ammanaghatta Shivakumar, Gilles Barthe, Benjamin Grgoire, Vincent Laporte, Tiago Oliveira, Swarn Priya, Peter Schwabe, Lucas Tabary-Maujean

Browse the full SP paper archive.