binsec / rosaLinks
ROSA: Finding Backdoors with Fuzzing
☆23Updated 3 months ago
Alternatives and similar repositories for rosa
Users that are interested in rosa are comparing it to the libraries listed below
Sorting:
- ☆38Updated 2 years ago
- Paper and implementation of "SAND: Decoupling Sanitization from Fuzzing for Low Overhead"☆17Updated 4 months ago
- ☆19Updated 2 weeks ago
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆28Updated last year
- ☆14Updated 3 years ago
- ☆41Updated last week
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Updated 2 years ago
- ☆42Updated 3 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆30Updated 3 years ago
- Library for manipulating gdb in batch mode☆21Updated last year
- Uncovering Container Confusion in the Linux Kernel☆44Updated last year
- ☆13Updated last year
- Coverage-guided Fuzzing as Online Stochastic Control☆51Updated 7 months ago
- Scaling best-practice AFLPlusPlus fuzzing campaigns made easy and more☆65Updated last month
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆20Updated 2 weeks ago
- ☆14Updated 4 months ago
- ☆31Updated last year
- 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
- A list of data-only attacks☆19Updated last week
- ☆16Updated 10 months ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆33Updated 4 months ago
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆29Updated last year
- ☆14Updated 2 years ago
- Fast and effective grammar-based fuzzing based on Gramatron☆16Updated 2 months ago
- ☆36Updated last year
- kAFL Fuzzer☆33Updated 3 months ago
- ☆24Updated 2 years ago
- JIGSAW is a fuzzing-based path constraint solver.☆69Updated last year
- SymCC: efficient compiler-based symbolic execution☆8Updated last year
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆54Updated last year