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