activity
20232025
most citedSpecification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts

3 citations · 3 across the 3 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

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…