activity
20172023
most citedHide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing

6 citations · 14 across the 5 of their papers we have counts for

collaborators
Showing 2018Show all

1 paper · 1 filter

cs.CR2018

SPECTECTOR: Principled Detection of Speculative Information Flows

Marco Guarnieri, Boris Köpf, José F. Morales +2

Since the advent of SPECTRE, a number of countermeasures have been proposed and deployed. Rigorously reasoning about their effectiveness, however, requires a well-defined notion of…