Pepe Vila

Hardware-Software Contracts for Secure Speculation

2021

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 …