Cover Image

Stateful protocol fuzzing with statemap-based reverse state selection

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Yu, Liu, Yanlong, Shen, Ying, Zhou
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Optimizing seed inputs in fuzzing with machine learning
by: Cheng, Liang, et al.
Published: (2019)

Rust and Go directed fuzzing with LibAFL-DiFuzz
by: Mezhuev, Timofey, et al.
Published: (2026)

PrescientFuzz: A more effective exploration approach for grey-box fuzzing
by: Blackwell, Daniel, et al.
Published: (2024)

SDLLMFuzz: Dynamic-static LLM-assisted greybox fuzzing for structured input programs
by: Zou, Yihao, et al.
Published: (2026)

A lightweight PUF-based authentication protocol
by: Zhuang, Yu, et al.
Published: (2024)

Ejafa_protocol: A custom INC secure protocol
by: Bassam, Ejafa
Published: (2024)

A Commitment-based Authentication model for Key Exchange protocols
by: Sánchez-Ledesma, Rodrigo Martín, et al.
Published: (2023)

Winternitz stack protocols
by: Shafarenko, Alex
Published: (2022)

CovFUZZ: Coverage-based fuzzer for 4G&5G protocols
by: Siroš, Ilja, et al.
Published: (2024)

Cryptoanalysis of a key exchange protocol based on a congruence-simple semiring action
by: Alvaro, Otero Sanchez, et al.
Published: (2024)

A blueprint for constructing 3-pass AKE protocols under commitment-based models
by: Sánchez-Ledesma, Rodrigo Martín
Published: (2026)

Wrapless: The trustless lending protocol on top of Bitcoin
by: Kurbatov, Oleksandr, et al.
Published: (2025)

SoK: Demystifying the multiverse of MPC protocols
by: De Viti, Roberta, et al.
Published: (2025)

Security issues in a group key establishment protocol
by: Mitchell, Chris J
Published: (2018)

Strengthening security and noise resistance in one-way quantum key distribution protocols through hypercube-based quantum walks
by: Polzoni, David, et al.
Published: (2026)

Analysis of Efficiency of the Messaging Layer Security protocol in Experimental Settings
by: Soler, David, et al.
Published: (2025)

Symbolic verification of Apple's Find My location-tracking protocol
by: Sundararajan, Vaishnavi, et al.
Published: (2025)

SSD: A State-based Stealthy Backdoor Attack For Navigation System in UAV Route Planning
by: Wang, Zhaoxuan, et al.
Published: (2025)

Cryptanalysis of authentication and key establishment protocol in Mobile Edge Computing Environment
by: Mugunthan, Sundararaju, et al.
Published: (2024)

Overlapping data in network protocols: bridging OS and NIDS reassembly gap
by: Aubard, Lucas, et al.
Published: (2025)

The Boomerang protocol: A Decentralised Privacy-Preserving Verifiable Incentive Protocol
by: Ankele, Ralph, et al.
Published: (2023)

CABBA: Compatible Authenticated Bandwidth-efficient Broadcast protocol for ADS-B
by: Ngamboé, Mikaëla, et al.
Published: (2023)

A Privacy-preserving key transmission protocol to distribute QRNG keys using zk-SNARKs
by: Soler, David, et al.
Published: (2024)

Traffic-MoE: A Sparse Foundation Model for Network Traffic Analysis
by: Zhou, Jiajun, et al.
Published: (2026)

Provable DI-QRNG protocols based on self-testing methodologies in preparation and measure scenario
by: Samanta, Asmita, et al.
Published: (2025)

Insecure Despite Proven Updated: Extracting the Root VCEK Seed on EPYC Milan via a Software-Only Attack
by: Shen, Muyan, et al.
Published: (2026)

TBDD: A New Trust-based, DRL-driven Framework for Blockchain Sharding in IoT
by: Zhang, Zixu, et al.
Published: (2024)

Isogeny-based Group Signatures and Accountable Ring Signatures in QROM
by: Chung, Kai-Min, et al.
Published: (2021)

Quantum protocols for Rabin oblivious transfer
by: Andersson, Erika, et al.
Published: (2025)

Optimal partition selection with Rényi differential privacy
by: Harrison, Charlie, et al.
Published: (2026)

EvoPatch-IoT: Evolution-Aware Cross-Architecture Vulnerability Retrieval and Patch-State Profiling for BusyBox-Based IoT Firmware
by: Xiao, Yinhao, et al.
Published: (2026)

MULTISS: un protocole de stockage confidentiel {à} long terme sur plusieurs r{é}seaux QKD
by: Prévost, Thomas, et al.
Published: (2025)

State Machine Mutation-based Testing Framework for Wireless Communication Protocols
by: Rashid, Syed Md Mukit, et al.
Published: (2024)

Incorporating Gradients to Rules: Towards Lightweight, Adaptive Provenance-based Intrusion Detection
by: Wang, Lingzhi, et al.
Published: (2024)

Coin selection by Random Draw according to the Boltzmann distribution
by: Bönsel, Jan Lennart, et al.
Published: (2026)

Search-based Ordered Password Generation of Autoregressive Neural Networks
by: Jin, Min, et al.
Published: (2024)

TAPFixer: Automatic Detection and Repair of Home Automation Vulnerabilities based on Negated-property Reasoning
by: Yu, Yinbo, et al.
Published: (2024)

From Alerts to Intelligence: A Novel LLM-Aided Framework for Host-based Intrusion Detection
by: Sun, Danyu, et al.
Published: (2025)

Subgraph Counting under Edge Local Differential Privacy Based on Noisy Adjacency Matrix
by: Guo, Jintao, et al.
Published: (2025)

PQC standards alternatives -- reliable semantically secure key encapsulation mechanism and digital signature protocols using the rank-deficient matrix power function
by: Hecht, Juan Pedro, et al.
Published: (2026)