Generic Protocol State Fuzzer
☆15Oct 19, 2026Updated last week
Alternatives and similar repositories for protocol-state-fuzzer
Users that are interested in protocol-state-fuzzer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Protocol state machine learner and fuzzer for DTLS servers and clients☆43Oct 15, 2026Updated last week
- ☆29Mar 20, 2025Updated last year
- CodeMirror bindings for ShareDB.☆11Feb 24, 2019Updated 7 years ago
- Patio is a web application that checks the happiness of your team☆13Sep 30, 2020Updated 6 years ago
- Simple TFTP server and client☆10Sep 10, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Based on lectures on the LLM-Verifier Interface at the Summer School on Foundations of Programming and Software Systems (FoPSS 2026)☆17Jul 14, 2026Updated 3 months ago
- A tool to infer the security handshake state machine of a given WiFi router. Useful for vulnerability analysis☆16Oct 19, 2022Updated 4 years ago
- Coverage-guided fuzzing for Python☆20Oct 31, 2017Updated 8 years ago
- ☆12Aug 24, 2026Updated 2 months ago
- A tool to connect SMT-based frontends to Lean4.☆20Oct 21, 2026Updated last week
- Evolutionary Fuzzer written in Rust☆23Jan 21, 2018Updated 8 years ago
- ☆23Apr 21, 2017Updated 9 years ago
- Custom Agent and Tooling for using Nyx with Firefox☆22Jul 23, 2025Updated last year
- ☆16Feb 20, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A hyperintensional theorem prover for rapidly prototyping modular semantic theories☆13Oct 15, 2026Updated last week
- Programs and utilities for the Compilers course at NTUA☆32Oct 8, 2026Updated 2 weeks ago
- A differential fuzzing framework for the QUIC protocol☆20Nov 21, 2023Updated 2 years ago
- Effect monads with specifications (DIjkstra Monads) in Lean 4☆12Feb 18, 2024Updated 2 years ago
- ONF's mirror of https://gitlab.eurecom.fr/oai/openairinterface5g☆15Feb 6, 2026Updated 8 months ago
- A Rocq model of a Linux process that runs a RISC-V binary☆39Updated this week
- afl-cov successor - simpler and using modern llvm tools☆28Oct 15, 2026Updated last week
- Model Checking for Industrial Programmers with TLA+☆19May 22, 2026Updated 5 months ago
- CryptoBAP: Automated Side-Channel Analysis of Cryptographic Protocols Implementations☆14Sep 30, 2026Updated 3 weeks ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- AProver: Agentic Prover for AI-Generated Code — LLM agents + BMC for automated verification of systems software☆20Oct 20, 2026Updated last week
- Digital Audio Access Protocol (DAAP) documentation☆11Oct 26, 2016Updated 10 years ago
- The Cubicle model checker☆14May 29, 2026Updated 4 months ago
- 🔌 Load Monitoring and Energy Disaggregation on a RasPi☆23Dec 20, 2019Updated 6 years ago
- ☆12Jan 30, 2024Updated 2 years ago
- Formal Verification for JavaScript Regular Expressions☆15Oct 21, 2026Updated last week
- Nola: Later-Free Ghost State for Verifying Termination in Iris☆10Aug 2, 2025Updated last year
- Mostly Automated Proof Repair for Verified Libraries☆16Jun 1, 2023Updated 3 years ago
- A simple methodology to fuzz the USB surface - HID-MIDI Devices☆23Jun 19, 2026Updated 4 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆23Feb 18, 2025Updated last year
- ArgoDSM - A Page-Based Software Distributed Shared Memory System☆45Oct 19, 2026Updated last week
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆20Mar 2, 2025Updated last year
- Main repo for ESORICS 2025 paper “LibAFLstar: Fast, State-aware Protocol Fuzzing”☆24Sep 13, 2025Updated last year
- ☆13Apr 10, 2025Updated last year
- Binary Analysis Platform -- I will try to keep this updated with patches, fixes, etc.☆33Oct 1, 2014Updated 12 years ago
- ☆26Jun 29, 2023Updated 3 years ago