3 papers
cs.CR2026
Detecting speculative leaks with compositional semantics
Xaver Fabian, Marco Guarnieri, Boris Köpf +4
Speculative execution enhances processor performance by predicting intermediate results and executing instructions based on these predictions. However, incorrect predictions can le…
cs.CR2025
Coverage-Guided Pre-Silicon Fuzzing of Open-Source Processors based on Leakage Contracts
Gideon Geier, Pariya Hajipour, Jan Reineke
Hardware-software leakage contracts have emerged as a formalism for specifying side-channel security guarantees of modern processors, yet verifying that a complex hardware design c…
cs.CR2025
Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors
Zilong Wang, Gideon Mohr, Klaus von Gleissenthall +2
Leakage contracts have been proposed as a new security abstraction at the instruction set architecture level. Leakage contracts aim to capture the information that processors may l…