2 papers
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…
cs.CR2024
Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors
Gideon Mohr, Marco Guarnieri, Jan Reineke
Microarchitectural attacks compromise security by exploiting software-visible artifacts of microarchitectural optimizations such as caches and speculative execution. Defending agai…