∗IMDEA Software Institute †Microsoft Research ‡Saarland UniversityHardware-Software Contracts • October 1st, 2020
Abstract—Since the discovery of Spectre, a large number of hardware mechanisms for secure speculation has been proposed. Intuitively, more defensive mechanisms are less efficient but can securely execute a larger class of programs, while more permis- sive mechanisms may offer more performance but require more defensive programming. Unfortunately, there are no hardware-
Hardware-Software ContractsHardware-Software Contracts • September 2nd, 2022
