Copertina

Stateful protocol fuzzing with statemap-based reverse state selection

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Yu, Liu, Yanlong, Shen, Ying, Zhou
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Cryptography and Security
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

Ejafa_protocol: A custom INC secure protocol
di: Bassam, Ejafa
Pubblicazione: (2024)

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

Winternitz stack protocols
di: Shafarenko, Alex
Pubblicazione: (2022)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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