43 citations · 86 across the 8 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.CR2025
Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks
Oleksii Oleksenko, Flavien Solt, Cédric Fournet +3
CPUs provide isolation mechanisms like virtualization and privilege levels to protect software. Yet these focus on architectural isolation while typically overlooking microarchitec…
cs.CR2025
AMuLeT: Automated Design-Time Testing of Secure Speculation Countermeasures
Bo Fu, Leo Tenenbaum, David Adler +7
In recent years, several hardware-based countermeasures proposed to mitigate Spectre attacks have been shown to be insecure. To enable the development of effective secure speculati…