8 citations · 15 across the 12 of their papers we have counts for
1 paper · 2 filters
Xaver Fabian, Marco Patrignani, Marco Guarnieri +1
Mainstream compilers implement different countermeasures to prevent specific classes of speculative execution attacks. Unfortunately, these countermeasures either lack formal guara…