assist-project / dtls-fuzzer
Protocol state machine learner and fuzzer for DTLS servers and clients
☆37Updated this week
Alternatives and similar repositories for dtls-fuzzer:
Users that are interested in dtls-fuzzer are comparing it to the libraries listed below
- ☆92Updated last year
- Lifting network implementation to precise format specification☆24Updated this week
- StateAFL: A Greybox Fuzzer for Stateful Network Servers☆163Updated last year
- a blackbox network fuzzer for IoT devices☆53Updated 6 months ago
- ☆18Updated 2 years ago
- ☆9Updated 4 years ago
- ☆49Updated 4 years ago
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing☆92Updated last year
- ☆28Updated last year
- A tool that can be used to learn state machines from implementations.☆64Updated 3 years ago
- NetPlier: Probabilistic Network Protocol Reverse Engineering from Message Traces☆69Updated 8 months ago
- Policy-Guided Fuzzing for Robotic Vehicles☆32Updated last year
- Run fuzzing experiments in Docker☆31Updated 4 years ago
- Code from CCS paper: The Closer You Look, The More You Learn: A Grey-box Approach to Protocol State Machine Learning☆10Updated 2 years ago
- Using automata learning to mine models used for fuzzing of statefull systems☆24Updated 3 years ago
- ☆46Updated 3 years ago
- ☆24Updated 2 years ago
- FirmSec Dataset☆33Updated 2 years ago
- Polar : Function Code Aware Fuzz Testing of ICS Protocol☆31Updated 4 years ago
- ☆68Updated 9 months ago
- A fuzzing framework targeted at MQTT brokers. Modeled as a finite state machine (using Markov Modeling).☆30Updated last year
- An evolutionary, coverage-guided greybox network protocol fuzzer☆19Updated 3 years ago
- ☆19Updated 3 years ago
- The released code of FuzzGuard in USENIX Security 2020.☆29Updated 5 years ago
- DiAne is a smart fuzzer for IoT devices☆39Updated 11 months ago
- 20 benchmark programs☆46Updated 4 years ago
- ☆12Updated 3 years ago
- A GPT-Based Fuzz Driver Generator☆46Updated last year
- ☆28Updated last year
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆23Updated 3 years ago