@inproceedings{cauligi:2022:sok,
  title={SoK: Practical Foundations for Software Spectre Defenses},
  author={Sunjay Cauligi and Craig Disselkoen and Daniel Moghimi and Gilles Barthe and Deian Stefan},
  booktitle={IEEE Symposium on Security and Privacy (S\&P)},
  month={May},
  year={2022},
  organization={IEEE}
}