@inproceedings{ 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},
  booktitle     = {2021 IEEE Symposium on Security and Privacy (SP)},
  publisher     = {IEEE},
  year          = {2021},
  pages         = {1884--1901},
  note          = {\url{https://cryptojedi.org/papers/\#sctpreserv}},
}