90 citations · 118 across the 9 of their papers we have counts for
3 papers · 1 filter
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…
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…
On the Incomparability of Cache Algorithms in Terms of Timing Leakage
Pablo Cañones, Boris Köpf, Jan Reineke
Modern computer architectures rely on caches to reduce the latency gap between the CPU and main memory. While indispensable for performance, caches pose a serious threat to securit…