tudelft-cda-lab / FlexFringeLinks
The FlexFringe tool for flexible learning of state machines (deterministic automata) from traces. See the paper at https://arxiv.org/abs/2203.16331
☆20Updated 2 weeks ago
Alternatives and similar repositories for FlexFringe
Users that are interested in FlexFringe are comparing it to the libraries listed below
Sorting:
- An evolutionary, coverage-guided greybox network protocol fuzzer☆19Updated 3 years ago
- Protocol state machine learner and fuzzer for DTLS servers and clients☆38Updated this week
- Using automata learning to mine models used for fuzzing of statefull systems☆24Updated 4 years ago
- OpenAI Gym environment for binary fuzzing based on afl☆23Updated 6 years ago
- ☆19Updated 2 months ago
- ☆29Updated 3 years ago
- Protocol Inspection and State Machine Analysis☆24Updated 7 years ago
- Policy-Guided Fuzzing for Robotic Vehicles☆34Updated last year
- A Quick Research of Active Automata Learning☆30Updated 5 years ago
- Human-In-The-Loop Automatic Program Repair☆19Updated 5 years ago
- Open-source code for RFCNLP paper.☆58Updated 2 years ago
- Research papers on ML for security☆34Updated 4 years ago
- ☆25Updated 3 years ago
- On Training Robust PDF Malware Classifiers (Usenix Security'20) https://arxiv.org/abs/1904.03542☆29Updated 3 years ago
- Public BanditFuzz Repo☆12Updated 4 years ago
- ☆44Updated 3 years ago
- ☆26Updated last year
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆42Updated 2 years ago
- MTFuzz: Fuzzing with a Multi-Task Neural Network☆35Updated 4 years ago
- ☆12Updated 4 years ago
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆41Updated last year
- A fuzzing environment for RL, based on Gym and AFL.☆13Updated 4 years ago
- ☆31Updated last year
- Polar : Function Code Aware Fuzz Testing of ICS Protocol☆33Updated 4 years ago
- Modelling Capture-the-Flag Challenges Using Reinforcement Learning☆15Updated 2 years ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Updated 4 years ago
- Signature-based Static Analysis for Detecting Recurring Vulnerabilities☆46Updated 9 months ago
- The released code of FuzzGuard in USENIX Security 2020.☆30Updated 5 years ago
- DiAne is a smart fuzzer for IoT devices☆40Updated last year
- ☆25Updated 4 years ago