Greybox Fuzzing of Distributed Systems (CCS'23)
-
Updated
Dec 5, 2023 - Clojure
Greybox Fuzzing of Distributed Systems (CCS'23)
Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
Deterministic mutation-based protocol fuzzer for embedded IoT protocols — MQTT, CoAP, HTTP, and binary frames — with crash tracking, dedup, and triage reports for authorized security testing.
Protocol state fuzzer of EDHOC client and server implementations
High-performance, baseline-aware fuzzing and vulnerability discovery framework for multi-target security testing, with adaptive mutation, coverage feedback, corpus management, crash detection, minimization, structured evidence, and reproducible fuzzing campaigns.
Modular OT/ICS protocol fuzzer with plugin support, PCAP replay, and anomaly detection
Python-based MAVLink 2 protocol fuzzing and security testing against ArduCopter SITL, with automated monitoring and reproducible test logging. Research context: ICES. Adapts the MAVLink 1 methodology of Domin, Symeonidis & Marin (2016) to MAVLink 2.
Lightweight IPv4/IPv6 TCP protocol fuzzer for network anomaly detection and resilience testing.
Modular fuzzer for ten ICS/OT network protocols, with software responders for calibration.
Academic research tool for studying QUIC Connection ID (CID) Flooding attacks — RFC 9000 §17.3 & §19.15
Mutation-based Modbus TCP fuzzing framework — 9 strategies, 17 ADU-level payloads, 32 PyTest tests, JSON/Markdown crash reports
To associate your repository with the protocol-fuzzing topic, visit your repo's landing page and select "manage topics."