@inproceedings{barthe:2021:high,
  title={High-Assurance Cryptography in the {Spectre} Era},
  author={Gilles Barthe and Sunjay Cauligi and Benjamin Gr{\'e}goire and Adrien Koutsos and Kevin Liao and Tiago Oliveira and Swarn Priya and Tamara Rezk and Peter Schwabe},
  booktitle={2021 2021 IEEE Symposium on Security and Privacy (S\&P)},
  month={May},
  year={2021},
  organization={IEEE},
  pages={788--805}
}