2026-05-24
1 items 17 entities 17 connections
Processed 17 entities and 17 relations.
Coverage-Guided Pre-Silicon Fuzzing of Open-Source Processors based on Leakage Contracts Gideon Geier Pariya Hajipour Jan Reineke Hardware-software leakage contracts Side-channel security Coverage-guided hardware-software contract fuzzing Self-compositional framework Microarchitectural state divergence Self-Composition Deviation (SCD) Pre-silicon fuzzing RISC-V Rocket Core BOOM core Spectre Information leakage Hardware fuzzing