Buchumschlag

Logic Solver Guided Directed Fuzzing for Hardware Designs

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Saravanan, Raghul, D, Sai Manoj P
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Cryptography and Security
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The Emergence of Hardware Fuzzing: A Critical Review of its Significance
von: Saravanan, Raghul, et al.
Veröffentlicht: (2024)

Intelligent Graybox Fuzzing via ATPG-Guided Seed Generation and Submodule Analysis
von: Saravanan, Raghul, et al.
Veröffentlicht: (2025)

Accelerating Hardware Verification with Graph Models
von: Saravanan, Raghul, et al.
Veröffentlicht: (2024)

SynFuzz: Leveraging Fuzzing of Netlist to Detect Synthesis Bugs
von: Saravanan, Raghul, et al.
Veröffentlicht: (2025)

GoldenFuzz: Generative Golden Reference Hardware Fuzzing
von: Wu, Lichao, et al.
Veröffentlicht: (2025)

SQLaser: Detecting DBMS Logic Bugs with Clause-Guided Fuzzing
von: Wei, Jin, et al.
Veröffentlicht: (2024)

Fuzzerfly Effect: Hardware Fuzzing for Memory Safety
von: Rostami, Mohamadreza, et al.
Veröffentlicht: (2024)

G-Fuzz: A Directed Fuzzing Framework for gVisor
von: Li, Yuwei, et al.
Veröffentlicht: (2024)

Hybrid Approach to Directed Fuzzing
von: Parygina, Darya, et al.
Veröffentlicht: (2025)

LibAFL-DiFuzz: Advanced Architecture Enabling Directed Fuzzing
von: Parygina, Darya, et al.
Veröffentlicht: (2024)

An Empirical Study on the Distance Metric in Guiding Directed Grey-box Fuzzing
von: Wen, Tingke, et al.
Veröffentlicht: (2024)

Directed Greybox Fuzzing via Large Language Model
von: Xu, Hanxiang, et al.
Veröffentlicht: (2025)

HyperGo: Probability-based Directed Hybrid Fuzzing
von: Lin, Peihong, et al.
Veröffentlicht: (2023)

Bridging the Gap between Hardware Fuzzing and Industrial Verification
von: Ma, Ruiyang, et al.
Veröffentlicht: (2025)

SoK: Where to Fuzz? Assessing Target Selection Methods in Directed Fuzzing
von: Weissberg, Felix, et al.
Veröffentlicht: (2025)

Fuzz on the Beach: Fuzzing Solana Smart Contracts
von: Smolka, Sven, et al.
Veröffentlicht: (2023)

LLM4Fuzz: Guided Fuzzing of Smart Contracts with Large Language Models
von: Shou, Chaofan, et al.
Veröffentlicht: (2024)

FuzzSense: Towards A Modular Fuzzing Framework for Autonomous Driving Software
von: Roberts, Andrew, et al.
Veröffentlicht: (2025)

EmbedFuzz: High Speed Fuzzing Through Transplantation
von: Hofhammer, Florian, et al.
Veröffentlicht: (2024)

Automated Hardware Logic Obfuscation Framework Using GPT
von: Latibari, Banafsheh Saber, et al.
Veröffentlicht: (2024)

ReFuzz: Reusing Tests for Processor Fuzzing with Contextual Bandits
von: Chen, Chen, et al.
Veröffentlicht: (2025)

CuFuzz: Hardening CUDA Programs through Transformation and Fuzzing
von: Singh, Saurabh, et al.
Veröffentlicht: (2026)

RSFuzz: A Robustness-Guided Swarm Fuzzing Framework Based on Behavioral Constraints
von: Zhou, Ruoyu, et al.
Veröffentlicht: (2024)

zkFuzz: Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits
von: Takahashi, Hideaki, et al.
Veröffentlicht: (2025)

Logical Maneuvers: Detecting and Mitigating Adversarial Hardware Faults in Space
von: Dana, Fatemeh Khojasteh, et al.
Veröffentlicht: (2025)

Following Dragons: Code Review-Guided Fuzzing
von: Luu, Viet Hoang, et al.
Veröffentlicht: (2026)

DyMA-Fuzz: Dynamic Direct Memory Access Abstraction for Re-hosted Monolithic Firmware Fuzzing
von: Farrelly, Guy, et al.
Veröffentlicht: (2026)

PBFuzz: Agentic Directed Fuzzing for PoV Generation
von: Zeng, Haochen, et al.
Veröffentlicht: (2025)

E-FuzzEdge: Optimizing Embedded Device Security with Scalable In-Place Fuzzing
von: Rusconi, Davide, et al.
Veröffentlicht: (2025)

WhisperFuzz: White-Box Fuzzing for Detecting and Locating Timing Vulnerabilities in Processors
von: Borkar, Pallavi, et al.
Veröffentlicht: (2024)

Challenges and Design Considerations for Finding CUDA Bugs Through GPU-Native Fuzzing
von: Li, Mingkai, et al.
Veröffentlicht: (2026)

AFLGopher: Accelerating Directed Fuzzing via Feasibility-Aware Guidance
von: Bai, Weiheng, et al.
Veröffentlicht: (2025)

Prompt Fuzzing for Fuzz Driver Generation
von: Lyu, Yunlong, et al.
Veröffentlicht: (2023)

PILOT: Command-line Interface Fuzzing via Path-Guided, Iterative Large Language Model Prompting
von: Shiraishi, Momoko, et al.
Veröffentlicht: (2025)

Hybrid Fuzzing with LLM-Guided Input Mutation and Semantic Feedback
von: Lin, Shiyin
Veröffentlicht: (2025)

SAFuzz: Semantic-Guided Adaptive Fuzzing for LLM-Generated Code
von: Yang, Ziyi, et al.
Veröffentlicht: (2026)

Fuzzing at Scale: The Untold Story of the Scheduler
von: Nikolic, Ivica, et al.
Veröffentlicht: (2024)

FuzzLLM: A Novel and Universal Fuzzing Framework for Proactively Discovering Jailbreak Vulnerabilities in Large Language Models
von: Yao, Dongyu, et al.
Veröffentlicht: (2023)

MulCovFuzz: A Multi-Component Coverage-Guided Greybox Fuzzer for 5G Protocol Testing
von: Wang, Yu, et al.
Veröffentlicht: (2026)

NecoFuzz: Effective Fuzzing of Nested Virtualization via Fuzz-Harness Virtual Machines
von: Ishii, Reima, et al.
Veröffentlicht: (2025)