Code from CCS paper: The Closer You Look, The More You Learn: A Grey-box Approach to Protocol State Machine Learning
☆14Feb 27, 2023Updated 3 years ago
Alternatives and similar repositories for state-inspector
Users that are interested in state-inspector are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Jan 30, 2024Updated 2 years ago
- Code from MSc thesis on combining learning and fuzzing☆20Jul 30, 2018Updated 8 years ago
- ☆12Aug 24, 2026Updated 2 months ago
- Code and resources for model learning of network protocol implementations☆18Oct 26, 2023Updated 3 years ago
- ProFuzzBench - A Benchmark for Stateful Protocol Fuzzing☆273Aug 7, 2024Updated 2 years 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.
- Lifting network implementation to precise format specification☆23Apr 21, 2025Updated last year
- Protocol state machine learner and fuzzer for DTLS servers and clients☆44Updated this week
- StateAFL: A Greybox Fuzzer for Stateful Network Servers☆181May 3, 2023Updated 3 years ago
- ☆48Jun 12, 2025Updated last year
- A Dolev-Yao-model-guided fuzzer for TLS☆162Updated this week
- Google Client Implementation in Scapy☆14Jun 26, 2018Updated 8 years ago
- Fuzzer for Amplification Vulnerabilities (USENIX '22, Krupp et al)☆17Aug 27, 2022Updated 4 years ago
- A specialized implementation of the Hierarchical Navigable Small World (HNSW) data structure adapted for efficient nearest neighbor looku…☆14Oct 7, 2026Updated last month
- DRS☆12Nov 5, 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.
- ☆20Jun 9, 2023Updated 3 years ago
- secret_sender is a program that manipulates the IP packet to send a message accepted from command line through one of the protocols (TCMP…☆13Jun 3, 2017Updated 9 years ago
- ☆13Jan 31, 2024Updated 2 years ago
- A tool that can be used to learn state machines from implementations.☆69Dec 14, 2025Updated 11 months ago
- An automated static taint analysis tool for the Lua web framework.☆23Sep 27, 2024Updated 2 years ago
- ☆100Sep 29, 2025Updated last year
- LPE of CVE-2024-26230☆23Sep 1, 2024Updated 2 years ago
- Mutation-based implementation of a random equivalence testing strategy for active automata learning☆16Dec 20, 2018Updated 7 years ago
- ☆80Aug 10, 2022Updated 4 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- FuzzCoAP - Fuzzing for Robustness and Security Testing of CoAP Servers☆13Jun 23, 2018Updated 8 years ago
- Surakav Implementation☆20May 14, 2024Updated 2 years ago
- ☆11Nov 30, 2020Updated 5 years ago
- [ICLR2026] SparseEval: Efficient Evaluation of Large Language Models by Sparse Optimization☆14Feb 10, 2026Updated 9 months ago
- CTF Challenge for CSAW Finals 2021☆13Nov 17, 2021Updated 4 years ago
- Sources of the EuroProofNet web site.☆13Updated this week
- This is the public release of the code of our paper titled "Noncompliance as Deviant Behavior: An Automated Black-box Noncompliance Check…☆24Jun 7, 2023Updated 3 years ago
- Analysis and exploitation of an use-after-free in ProFTPd☆14Jun 21, 2023Updated 3 years ago
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing☆102Aug 16, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Code for ASPLOS 2026 paper: "Detecting Inconsistencies in ARM CCA’s Formally Verified Specification"☆13Jan 13, 2026Updated 10 months ago
- Talos Decryptor POC for Remcos RAT version 2.0.5 and earlier☆24Aug 2, 2018Updated 8 years ago
- LibAFL components for stateful fuzzing☆55Aug 6, 2022Updated 4 years ago
- Tamarin models for Bluetooth secure pairing protocols: Passkey Entry (PE) and Numeric comparison (NC)☆11May 3, 2024Updated 2 years ago
- ☆21Oct 25, 2023Updated 3 years ago
- ☆18Aug 22, 2022Updated 4 years ago
- [BMVC 2023] Backdoor Attack on Hash-based Image Retrieval via Clean-label Data Poisoning☆18Sep 1, 2023Updated 3 years ago
Are these results useful?