Kaiserstraße 21
66386 St. Ingbert (Germany)
CCS
Automatic Detection of Speculative Execution CombinationsCCS 2022
PLAS
Formal Verification of Spectres CombinationPLAS 2021