binsec / rosa
ROSA: Finding Backdoors with Fuzzing
☆21Updated 2 months ago
Alternatives and similar repositories for rosa
Users that are interested in rosa are comparing it to the libraries listed below
Sorting:
- ☆37Updated 2 years ago
- ☆24Updated 2 years ago
- Paper and implementation of "SAND: Decoupling Sanitization from Fuzzing for Low Overhead"☆17Updated 2 months ago
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆28Updated last year
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 3 years ago
- ☆19Updated last year
- Library for manipulating gdb in batch mode☆20Updated last year
- ☆14Updated 3 years ago
- ☆13Updated last year
- Coverage-guided Fuzzing as Online Stochastic Control☆51Updated 6 months ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Updated 2 years ago
- ☆14Updated 2 years ago
- High-Efficiency eXpanded Coverage for Improved Testing of Executables☆23Updated 2 years ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆53Updated last year
- ☆33Updated 3 months ago
- ☆42Updated 3 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆17Updated 2 years ago
- Practical Data-Only Attack Generation☆39Updated 11 months ago
- ☆20Updated 7 months ago
- ☆15Updated 2 months ago
- Official repository of SyzRisk [ASIA CCS'24]☆11Updated 8 months ago
- Uncovering Container Confusion in the Linux Kernel☆43Updated last year
- SymCC: efficient compiler-based symbolic execution☆8Updated last year
- ☆12Updated 2 years ago
- kAFL Fuzzer☆33Updated 2 months ago
- ☆34Updated last year
- A list of data-only attacks☆19Updated this week
- The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…☆65Updated 3 years ago
- Binary Only Thread Sanitizer☆14Updated 9 months ago
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆27Updated 2 years ago