8 citations · 25 across the 8 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.PL2019
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…
cs.PL2019
Exorcising Spectres with Secure Compilers
Marco Patrignani, Marco Guarnieri
Attackers can access sensitive information of programs by exploiting the side-effects of speculatively-executed instructions using Spectre attacks. To mitigate theses attacks, popu…