Coverage-Guided Hardware-Software Contract Fuzzing
TechniqueNo evidence was provided for this technique, so no technical claims can be documented beyond the entity name.
First seen 5/24/2026
Last seen 5/26/2026
Evidence 3 chunks
Wiki v1
WIKI
Coverage-Guided Hardware-Software Contract Fuzzing
No source evidence was provided for this entity. As a result, this article cannot describe the technique, its mechanisms, applications, assumptions, limitations, or relationships to other entities without introducing unsupported claims.
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
5 connections Coverage-Guided Pre-Silicon Fuzzing of Open-Source Processors based on Leakage Contracts ← introduces 100% 2e
The paper introduces coverage-guided hardware-software contract fuzzing as a novel and scalable approach.
The fuzzing technique is based on hardware-software leakage contracts as the specification for security guarantees.
The technique leverages a self-compositional framework to make information leakage observable.
The technique uses SCD as its core coverage metric to guide exploration of leakage contract violations.
The technique uses microarchitectural coverage to lead to faster discovery of security vulnerabilities.