3 citations · 3 across the 1 of their papers we have counts for
4 papers
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…
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…
CacheQuery: Learning Replacement Policies from Hardware Caches
Pepe Vila, Pierre Ganty, Marco Guarnieri +1
We show how to infer deterministic cache replacement policies using off-the-shelf automata learning and program synthesis techniques. For this, we construct and chain two abstracti…
Theory and Practice of Finding Eviction Sets
Pepe Vila, Boris Köpf, José Francisco Morales
Many micro-architectural attacks rely on the capability of an attacker to efficiently find small eviction sets: groups of virtual addresses that map to the same cache set. This cap…