@misc{ BCG+21, author = {Gilles Barthe and Sunjay Cauligi and Benjamin Gregoire and Adrien Koutsos and Kevin Liao and Tiago Oliveira and Swarn Priya and Tamara Rezk and Peter Schwabe}, title = {High-assurance Cryptography Software in the Spectre Era}, journal = {2021 IEEE Symposium on Security and Privacy (SP)}, year = {2021 (to appear)}, note = {\url{https://cryptojedi.org/papers/\#pqwireguard}}, }