FuSS: Coverage-Directed Hardware Fuzzing with Selective Symbolic Execution

Paper

First seen 6/20/2026

Last seen 6/20/2026

Evidence 10 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

26 connections

VeeRwolf evaluates → 100% 2e

The FuSS paper evaluates the framework on VeeRwolf.

CVA6 evaluates → 100% 2e

The FuSS paper evaluates the framework on CVA6.

Random Test Generation compares with → 100% 2e

The paper compares FuSS against traditional random test generation as a baseline.

Property Checking compares with → 100% 2e

The paper compares FuSS with property checking based fuzzing approaches.

DiFuzzRTL compares with → 90% 2e

The paper uses DifuzzRTL as both a baseline and as the underlying fuzzer engine.

FuSS Framework introduces → 100% 2e

The paper introduces the FuSS hardware fuzzing framework that combines coverage-guided fuzzing with selective symbolic execution.

PicoSoC evaluates → 100% 2e

The FuSS paper evaluates the framework on PicoSoC.

UeRVSoC evaluates → 100% 2e

The FuSS paper evaluates the framework on UeRVSoC.

PSO-Fuzz mentions → 90% 1e

The paper mentions PSOFuzz as a related hardware fuzzing approach.

Aruna Jayasena authored by → 100% 1e

The paper is authored by Aruna Jayasena.

Sai Suprabhanu Nallapaneni authored by → 100% 1e

The paper is authored by Sai Suprabhanu Nallapaneni.

Prabhat Mishra authored by → 100% 1e

The paper is authored by Prabhat Mishra.

University of Florida authored by → 100% 1e

All authors are affiliated with the University of Florida.

SoCFuzzer mentions → 90% 1e

The paper mentions SoCFuzzer as a related hardware fuzzing approach for SoC security.

EBMC evaluates → 90% 1e

The paper uses EBMC for reproducing results related to fuzzing with property checking.

Doob Martingale Analysis uses → 100% 1e

The paper uses Doob's Martingale analysis for its theoretical analysis of FuSS.

Azuma-Hoeffding Inequality uses → 100% 1e

The paper uses the Azuma-Hoeffding inequality in its theoretical analysis.

ProcessorFuzz mentions → 90% 1e

The paper mentions ProcessorFuzz as a related hardware fuzzing approach.

MABFuzz mentions → 90% 1e

The paper mentions MABFuzz as a related hardware fuzzing approach.

Cascade mentions → 90% 1e

The paper mentions Cascade as a related hardware fuzzing approach.

SurgeFuzz mentions → 90% 1e

The paper mentions SurgeFuzz as a related hardware fuzzing approach.

FormalFuzzer mentions → 90% 1e

The paper mentions FormalFuzzer as a related work combining formal methods with fuzzing.

HyPFuzz mentions → 90% 1e

The paper mentions HyPFuzz as a related work combining formal verification with fuzzing.

TheHuzz mentions → 90% 1e

The paper mentions TheHuzz as a related hardware fuzzing approach.

HD-Fuzz mentions → 90% 1e

The paper mentions HD-Fuzz as a related hardware fuzzing approach.

ChatFuzz mentions → 90% 1e

The paper mentions ChatFuzz as a related hardware fuzzing approach.