RUB-SysSec / adversarial-papers

Related projects ⓘ

Alternatives and complementary repositories for adversarial-papers

• csienslab-PCC / PathConstraintClassifier
  ☆9Updated 5 years ago
• patchloc / VulnLoc
  ☆11Updated 3 years ago
• dvorak42 / confuzzer
  Concolic Execution Fuzzer
  ☆24Updated 3 years ago
• season-lab / SymFusion
  SymFusion: Hybrid Instrumentation for Concolic Execution
  ☆16Updated last year
• DonggeLiu / Legion
  A coverage-based software testing tool
  ☆29Updated 3 years ago
• michaelbrownuc / llap
  LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…
  ☆13Updated last year
• vusec / einstein
  Practical Data-Only Attack Generation
  ☆27Updated 5 months ago
• ijon-afl / ijon-data
  experiments for IJON
  ☆11Updated 5 years ago
• eurecom-s3 / dissecting_afl
  Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper
  ☆12Updated 2 years ago
• season-lab / ropdissector
  A framework for static analysis of ROP exploits and programs
  ☆40Updated 5 years ago
• uni-due-syssec / teerex-exploits
  PoC exploits against various SGX enclaves
  ☆15Updated 2 years ago
• securesystemslab / sanitizing-for-security-benchmarks
  ☆25Updated 6 years ago
• carter-yagemann / barnum-tracer
  The PT tracing portion of Barnum.
  ☆11Updated 5 years ago
• GoSSIP-SJTU / k-hunt
  K-Hunt: Pinpointing Insecure Crypto Keys
  ☆44Updated 6 years ago
• andreafioraldi / FuzzSplore
  FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques
  ☆35Updated 3 years ago
• vandaltool / vandalir
  ☆23Updated 2 years ago
• establishingsecurity / trustzone-rootkit
  TrustZone or TreacheryZone? Giving a vendor more trust increases their power to abuse us surreptitiously.
  ☆14Updated 2 years ago
• yifengchen-cc / AFLplusplusSmart
  AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)
  ☆10Updated 4 years ago
• Practical-Formal-Methods / tailor
  Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints
  ☆20Updated 2 years ago
• ROPilicious / src
  This is the source of our Return Oriented Programming tool.
  ☆15Updated 5 years ago
• quarkslab / python-binexport
  Python interface for Binexport, the Bindiff export format
  ☆14Updated 4 months ago
• ucsb-seclab / autofacts
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Updated 5 years ago
• ispras / rop-benchmark
  ROP Benchmark is a tool to compare ROP compilers
  ☆39Updated last year
• RICSecLab / AFLplusplus-cs
  ☆17Updated 2 years ago
• kcfi / kcfi
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆20Updated 4 years ago
• kirasys / unicorn-fuzzer
  expansion of afl-unicorn using c++
  ☆28Updated 5 years ago
• TeamVault / LLVM-CFI
  ☆11Updated 3 years ago
• SoftwareSecurityLab / UbSym
  A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes
  ☆43Updated last year