Cover Image

A Survey of Protocol Fuzzing

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhang, Xiaohan, Zhang, Cen, Li, Xinghua, Du, Zhengjie, Mao, Bing, Li, Yuekang, Zheng, Yaowen, Li, Yeting, Pan, Li, Liu, Yang, Deng, Robert H.
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security Networking and Internet Architecture D.2.4; D.2.5
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation
by: Zhang, Cen, et al.
Published: (2023)

Point Intervention: Improving ACVP Test Vector Generation Through Human Assisted Fuzzing
by: Gridin, Iaroslav, et al.
Published: (2024)

Evaluating Cryptographic API Misuse Detectors for Go
by: Andersson, Vivi, et al.
Published: (2026)

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT
by: Rawat, Sanjay
Published: (2026)

Device Context Protocol: A Compact, Safety-First Architecture for LLM-Driven Control of Constrained Devices
by: Yang, Dongxu
Published: (2026)

A Multi-Layered Security Analysis of Blockchain Systems: From Attack Vectors to Defense and System Hardening
by: Yang, Yuhuan, et al.
Published: (2025)

Security Vulnerabilities in Ethereum Smart Contracts: A Systematic Analysis
by: Wu, Jixuan, et al.
Published: (2025)

Automated Vulnerability Detection Using Deep Learning Technique
by: Yang, Guan-Yan, et al.
Published: (2024)

PSR2: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement
by: Li, Xiaoqi, et al.
Published: (2026)

Adaptive and AI-Augmented Security Testing: A Systematic Survey of Program Analysis, Feedback-Driven Testing, and Hybrid Learning-Based Approaches
by: Wienczkowski, Michael
Published: (2026)

FuzzRDUCC: Fuzzing with Reconstructed Def-Use Chain Coverage
by: Feng, Kai, et al.
Published: (2025)

FuzzPilot: Plateau-Triggered Recipe Validation for Structured Text Fuzzing
by: Yao, Zhiyi
Published: (2026)

CovRL: Fuzzing JavaScript Engines with Coverage-Guided Reinforcement Learning for LLM-based Mutation
by: Eom, Jueon, et al.
Published: (2024)

An Empirical Study of Fuzz Harness Degradation
by: Görz, Philipp, et al.
Published: (2025)

Large Language Models for Agentic NetOps and AIOps: Architectures, Evaluation, and Safety
by: Bilal, Muhammad, et al.
Published: (2026)

TeeMAF: A TEE-Based Mutual Attestation Framework for On-Chain and Off-Chain Functions in Blockchain DApps
by: Liu, Xiangyu, et al.
Published: (2026)

Dismantling Common Internet Services for Ad-Malware Detection
by: Nettersheim, Florian, et al.
Published: (2024)

LLM Based Input Space Partitioning Testing for Library APIs
by: Li, Jiageng, et al.
Published: (2024)

Combating Reentrancy Bugs on Sharded Blockchains
by: Kashitsyn, Roman, et al.
Published: (2025)

Modelling Trust and Trusted Systems: A Category Theoretic Approach
by: Oliver, Ian, et al.
Published: (2026)

What a Mesh: Formal Security Analysis of WPA3 SAE Wireless Authentication
by: Metere, Roberto, et al.
Published: (2026)

Anumati: Proof of Adherence as a Formal Consent Model for Autonomous Agent Protocols
by: Kadaboina, Ravi Kiran
Published: (2026)

Bad Neighbors: On Understanding VPN Provider Networks
by: Rytilahti, Teemu, et al.
Published: (2024)

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
by: Garcia, Rémi, et al.
Published: (2024)

Orion: Fuzzing Workflow Automation
by: Bazalii, Max, et al.
Published: (2025)

BitSov: A Composable Bitcoin-Native Architecture for Sovereign Internet Infrastructure
by: Larsen, Oliver Aleksander, et al.
Published: (2026)

Secure IVSHMEM: End-to-End Shared-Memory Protocol with Hypervisor-CA Handshake and In-Kernel Access Control
by: Kim, Hyunwoo, et al.
Published: (2025)

eBPF-Based Real-Time DDoS Mitigation for IoT Edge Devices
by: Tolay, Abdurrahman
Published: (2025)

Automated SBOM-Driven Vulnerability Triage for IoT Firmware: A Lightweight Pipeline for Risk Prioritization
by: Tolay, Abdurrahman
Published: (2026)

AddressWatcher: Sanitizer-Based Localization of Memory Leak Fixes
by: Murali, Aniruddhan, et al.
Published: (2024)

DeepSec: Deciding Equivalence Properties for Security Protocols -- Improved theory and practice
by: Cheval, Vincent, et al.
Published: (2022)

LibLMFuzz: LLM-Augmented Fuzz Target Generation for Black-box Libraries
by: Hardgrove, Ian, et al.
Published: (2025)

Active Attack Resilience in 5G: A New Take on Authentication and Key Agreement
by: Sultan, Nazatul H., et al.
Published: (2025)

Testing SSD Firmware with State Data-Aware Fuzzing: Accelerating Coverage in Nondeterministic I/O Environments
by: Yoon, Gangho, et al.
Published: (2025)

FORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction
by: Chen, Jiachi, et al.
Published: (2025)

Evaluating an Effective Ransomware Infection Vector in Low Earth Orbit Satellites
by: Donchev, Marin, et al.
Published: (2024)

Security Analysis of Bitcoin's V2 Transport Protocol: Exploiting Design Implications for Sustained Eclipse and Downgrade Attacks
by: Ndolo, Charmaine, et al.
Published: (2026)

Securing 5G Bootstrapping: A Two-Layer IBS Authentication Protocol
by: Dong, Yilu, et al.
Published: (2025)

Continuous Discovery of Vulnerabilities in LLM Serving Systems with Fuzzing
by: Zhao, Yunze, et al.
Published: (2026)

Model checking of hyperproperties for high-level relational models
by: Macedo, Nuno, et al.
Published: (2025)