RUB-SysSec / adversarial-papersLinks
☆16Updated last year
Alternatives and similar repositories for adversarial-papers
Users that are interested in adversarial-papers are comparing it to the libraries listed below
Sorting:
- LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…☆14Updated 2 years ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Updated 2 years ago
- The PT tracing portion of Barnum.☆11Updated 6 years ago
- ☆12Updated 4 years ago
- ☆24Updated 2 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆10Updated 4 years ago
- A set of templates for different academic venues.☆28Updated 5 years ago
- PoC exploits against various SGX enclaves☆14Updated 3 years ago
- ☆9Updated 6 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆17Updated 2 years ago
- FoRTE-Research's fuzzing benchmarks☆57Updated 6 years ago
- experiments for IJON☆12Updated 5 years ago
- PIITracker: Automatic Tracking of Personally Identifiable Information in Windows☆19Updated 7 years ago
- ☆12Updated 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
- ☆20Updated 3 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Updated 6 years ago
- Monocerus emulator framework☆11Updated 6 years ago
- K-Hunt: Pinpointing Insecure Crypto Keys☆44Updated 6 years ago
- Grey-box fuzzer SIVO☆14Updated 3 years ago
- This is the source of our Return Oriented Programming tool.☆15Updated 5 years ago
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆20Updated 2 years ago
- Concolic Execution Fuzzer☆24Updated 3 years ago
- Website for Research Artifacts from the Security Community☆18Updated last week
- ☆19Updated 2 years ago
- ☆24Updated 6 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Updated 5 years ago
- CPython bytecode instrumentation and forkserver tools for fuzzing pure python and mixed python/c code using AFL☆31Updated 4 years ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Updated 5 years ago
- Benchmark to test different stop the exploit mitigations☆18Updated 6 years ago