@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}},
}