Andrés Sánchez

Spectector: Principled Detection of Speculative Information Flows

2020

Since the advent of Spectre, a number of counter-measures have been proposed and deployed. Rigorously reasoning about their effectiveness, however, requires a well-defined notion of security against speculative execution attacks, which has been missing until …