Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"
☆56Feb 17, 2025Updated last year
Alternatives and similar repositories for Titan
Users that are interested in Titan are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"☆41Dec 3, 2025Updated 4 months ago
- ☆50Oct 27, 2024Updated last year
- ☆12Jul 21, 2023Updated 2 years ago
- ☆73Jun 26, 2024Updated last year
- ☆13Mar 20, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Research Artifact of USENIX Security 2023 Paper: Precise and Generalized Robustness Certification for Neural Networks☆13Jun 20, 2023Updated 2 years ago
- AFL/AFL++ version FishFuzz☆101Mar 11, 2025Updated last year
- CIPHERH: Automated Detection of Ciphertext Side-channel Vulnerabilities in Cryptographic Implementations☆13Dec 17, 2023Updated 2 years ago
- OBsan: An Out-Of-Bound Sanitizer to Harden DNN Executables☆17Feb 28, 2023Updated 3 years ago
- Artifact for IEEE Security and Privacy 2022 paper: "SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications"☆29Jul 29, 2022Updated 3 years ago
- Research Artifact For Our Submission To VLDB☆11Oct 27, 2021Updated 4 years ago
- MS-Fuzz data☆15Nov 5, 2022Updated 3 years ago
- autofz: Automated Fuzzer Composition at Runtime☆85Sep 13, 2023Updated 2 years ago
- SeamFuzz Artifact repository for ICSE 2023☆14Feb 10, 2023Updated 3 years 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.
- ☆19Apr 7, 2023Updated 3 years ago
- ☆11Mar 22, 2024Updated 2 years ago
- ☆23Oct 28, 2022Updated 3 years ago
- A ground-truth fuzzing benchmark suite based on real programs with real bugs.☆337Jan 11, 2026Updated 3 months ago
- Official implementation of ISSTA 2022 paper: MDPFuzz: Testing Models Solving Markov Decision Processes.☆24Dec 17, 2022Updated 3 years ago
- ☆20May 27, 2020Updated 5 years ago
- The Use of Likely Invariants as Feedback for Fuzzers☆94Jan 19, 2022Updated 4 years ago
- CC: Causality-Aware Coverage Criterion for Deep Neural Networks☆12Feb 15, 2023Updated 3 years ago
- EMS provided by the paper "EMS: History-Driven Mutation for Coverage-based Fuzzing"☆34Nov 4, 2022Updated 3 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- american fuzzy lop - a security-oriented fuzzer☆11Feb 25, 2026Updated last month
- ☆15Mar 17, 2025Updated last year
- ☆35Nov 11, 2021Updated 4 years ago
- 20 benchmark programs☆54Mar 17, 2021Updated 5 years ago
- Directed Greybox Fuzzing with AFL☆557Mar 13, 2024Updated 2 years ago
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆30Feb 29, 2024Updated 2 years ago
- Source code of the paper "FirmRCA: Towards Post-Fuzzing Analysis on ARM Embedded Firmware with Efficient Event-based Fault Localization"☆13Jan 6, 2026Updated 3 months ago
- UAFuzz: Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities☆350Sep 25, 2023Updated 2 years ago
- ☆58Jul 21, 2023Updated 2 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.
- A curated list of awesome directed fuzzing research papers☆588Apr 7, 2026Updated last week
- Adaptive Verification of Patches at the Binary Level☆13Mar 19, 2026Updated 3 weeks ago
- Code for tracelet-level symbolic execution☆18Sep 18, 2022Updated 3 years ago
- ICSE'23 - CoFuzz: Coordinated hybrid fuzzing framework with advanced coordination mode☆48Nov 16, 2023Updated 2 years ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆58Apr 1, 2024Updated 2 years ago
- [ICSE2020] UAFL DataSet☆12Dec 10, 2022Updated 3 years ago
- SLIME is a novel program-sensitive fuzzer that designs multiple property-aware queues and leverages a customized Upper Confidence Bound V…☆20Feb 23, 2023Updated 3 years ago