@inproceedings{ ABG+23,
  author        = {Basavesh Ammanaghatta Shivakumar and Gilles Barthe and Benjamin Gr\'egoire and Vincent Laporte and
                   Tiago Oliveira and Swarn Priya and Peter Schwabe and Lucas Tabary-Maujean},
  title         = {Typing High-Speed Cryptography against {Spectre v1}},
  booktitle     = {2023 IEEE Symposium on Security and Privacy (SP)},
  publisher     = {IEEE},
  year          = {2023},
  pages         = {1094--1111},
  note          = {\url{http://cryptojedi.org/papers/\#selslh}},
}