8 citations · 25 across the 8 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.CR2020★ 2 cited
Contract-Aware Secure Compilation
Marco Guarnieri, Marco Patrignani
Microarchitectural attacks exploit the abstraction gap between the Instruction Set Architecture (ISA) and how instructions are actually executed by processors to compromise the con…
cs.CR2020
Hardware-Software Contracts for Secure Speculation
Marco Guarnieri, Boris Köpf, Jan Reineke +1
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 se…
cs.CR2020★ 3 cited
Flushgeist: Cache Leaks from Beyond the Flush
Pepe Vila, Andreas Abel, Marco Guarnieri +2
Flushing the cache, using instructions like clflush and wbinvd, is commonly proposed as a countermeasure against access-based cache attacks. In this report, we show that several In…