RUB-SysSec / adversarial-papersLinks
☆16Updated 2 years ago
Alternatives and similar repositories for adversarial-papers
Users that are interested in adversarial-papers are comparing it to the libraries listed below
Sorting:
- Benchmark to test different stop the exploit mitigations☆18Updated 7 years ago
- Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints☆20Updated 4 years ago
- experiments for IJON☆12Updated 6 years ago
- Fuzzing with controlled compilation☆31Updated 2 years ago
- This is the project of LearnAFL.☆28Updated 5 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆37Updated 5 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18Updated 2 years ago
- Signedness-Agnostic Strided-Interval☆38Updated 6 years ago
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆22Updated 2 years ago
- Securing System Logs With Intel SGX☆16Updated 8 years ago
- ☆12Updated 4 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆22Updated 5 years ago
- Grey-box fuzzer SIVO☆13Updated 4 years ago
- A framework for static analysis of ROP exploits and programs☆41Updated 6 years ago
- ☆19Updated 3 years ago
- Code for my blog post on using S2E for malware analysis☆25Updated 6 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Updated 6 years ago
- KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling☆36Updated 5 years ago
- ☆19Updated 4 years ago
- K-Hunt: Pinpointing Insecure Crypto Keys☆44Updated 7 years ago
- A coverage-based software testing tool☆34Updated 5 years ago
- This is the source of our Return Oriented Programming tool.☆14Updated 6 years ago
- A set of templates for different academic venues.☆29Updated 6 years ago
- source code of paper "Mapping to Bits: Efficiently Detecting Type Confusion Errors"☆14Updated 7 years ago
- Get actually nice HTML coverage overview on libfuzzer runs☆31Updated 2 years ago
- ☆18Updated 5 years ago
- FoRTE-Research's fuzzing benchmarks☆57Updated 6 years ago
- An AFL scaling benchmarking tool☆18Updated 5 years ago
- FunSeeker: Binary Function Identification Tool☆26Updated 2 years ago
- AFLTeam Collaborative Parallel Fuzzing☆75Updated 3 years ago