@inproceedings{Guarnieri21contracts, author = {Marco Guarnieri and Boris K\"{o}pf and Jan Reineke and Pepe Vila}, title = {Hardware/software contracts for secure speculation}, booktitle = {Proceedings of the 42nd IEEE Symposium on Security and Privacy}, year = {2021}, series = {S\&P 2021}, publisher = {IEEE} }