Skip to content
STIMSMITH

Encarsia: Evaluating CPU Fuzzers via Automatic Bug Injection

Paper
First seen 7/13/2026
Last seen 7/15/2026
Evidence 14 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

28 connections
HACK@DAC competition mentions → 100% 4e
The paper mentions HACK@DAC competitions as a source of manually assembled bug corpora.
Encarsia introduces → 100% 3e
The paper introduces ENCARSIA as a framework for automatic bug injection to evaluate CPU fuzzers.
EnCorpus introduces → 100% 2e
The paper introduces EnCorpus, a unified corpus of 90 bugs for evaluating hardware fuzzers.
DiFuzzRTL evaluates → 100% 2e
The paper evaluates DifuzzRTL using the ENCARSIA framework and EnCorpus.
ProcessorFuzz evaluates → 100% 2e
The paper evaluates ProcessorFuzz using the ENCARSIA framework and EnCorpus.
Cascade evaluates → 100% 2e
The paper evaluates Cascade using the ENCARSIA framework and EnCorpus.
Ibex evaluates → 100% 2e
The paper surveys bugs in Ibex and uses it as a target for ENCARSIA evaluation.
CVA6 evaluates → 100% 2e
The paper surveys bugs in CVA6 as part of the study.
Rocket evaluates → 100% 2e
The paper evaluates Rocket as a target CPU design for ENCARSIA.
BOOM evaluates → 100% 2e
The paper evaluates BOOM as a target CPU design for ENCARSIA.
Matej Bölcskei authored by → 100% 2e
Matej Bölcskei is listed as an author of the paper.
Flavien Solt authored by → 100% 2e
Flavien Solt is listed as an author of the paper.
coverage metric mentions → 100% 2e
The paper analyzes coverage metrics used by hardware fuzzers and their limitations.
Design Under Test mentions → 90% 2e
The paper discusses the design under test as a key concept in hardware fuzzing evaluation.
Katharina Ceesay-Seitz authored by → 100% 2e
Katharina Ceesay-Seitz is listed as an author of the paper.
Kaveh Razavi authored by → 100% 2e
Kaveh Razavi is listed as an author of the paper.
Hardware fuzzing evaluates → 100% 2e
The paper evaluates hardware fuzzing by assessing CPU fuzzers via automatic bug injection.
CVA6 mentions → 100% 2e
The paper surveys bugs in CVA6 as part of its study.
RFUZZ mentions → 100% 2e
The paper mentions RFUZZ as a related hardware fuzzer.
RISC-V mentions → 100% 2e
The paper focuses on RISC-V CPU designs as the target for evaluation.
manual bug insertion mentions → 100% 2e
The paper discusses manual bug insertion as the existing approach that ENCARSIA improves upon.
Hardware fuzzing mentions → 100% 1e
The paper discusses hardware fuzzing as its primary research domain.
DirectFuzz mentions → 100% 1e
The paper mentions DirectFuzz as a related hardware fuzzer.
ETH Zurich authored by → 100% 1e
All authors are affiliated with ETH Zurich.
MorFuzz mentions → 100% 1e
The paper mentions MorFuzz as a related hardware fuzzer.
ETH Zurich published by → 100% 1e
All authors are affiliated with ETH Zurich.
TheHuzz mentions → 100% 1e
The paper mentions TheHuzz as a related hardware fuzzer.
ISA coverage mentions → 90% 1e
The paper discusses ISA coverage as a dimension where fuzzers fall short.