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