invernizzi / Chrisper

Related projects ⓘ

Alternatives and complementary repositories for Chrisper

• ericpony / z3py-tutorial
  ☆141Updated last year
• ucsb-seclab / agrigento
  Agrigento is a tool to identify privacy leaks in Android apps by performing black-box differential analysis on the network traffic.
  ☆69Updated 4 years ago
• CyberGrandChallenge / samples
  DARPA Cyber Grand Challenge Sample Challenges
  ☆317Updated 6 years ago
• carolemieux / afl-rb
  FairFuzz: AFL extension targeting rare branches
  ☆241Updated 5 years ago
• klee / klee-web
  KLEE in the browser
  ☆50Updated 5 months ago
• hxuhack / logic_bombs
  This repository contains several examples of logic bomb.
  ☆96Updated 10 months ago
• tech-srl / esh
  statistical similarity of binaries (Esh)
  ☆73Updated 8 years ago
• codelion / pathgrind
  Path based Dynamic Analysis
  ☆113Updated 7 years ago
• wmkhoo / taintgrind
  A taint-tracking plugin for the Valgrind memory checking tool
  ☆250Updated last year
• SideChannelMarvels / Daredevil
  A tool to perform (higher-order) correlation power analysis attacks (CPA).
  ☆155Updated 2 years ago
• mimoo / SSL-TLS-ECDSA-timing-attack
  Timing Attack on TLS' ECDSA signature
  ☆42Updated 9 years ago
• ieee-security / ongoing-submission-plan
  Public forum for detailed planning of a VLDB-like ongoing submission model for IEEE S&P
  ☆15Updated 7 years ago
• embedded-sec / halucinator
  ☆159Updated 3 years ago
• nezha-dt / nezha
  Differential fuzzing for the masses!
  ☆149Updated 7 years ago
• angr / patcherex
  Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.
  ☆252Updated 4 months ago
• lifting-bits / grr
  High-throughput fuzzer and emulator of DECREE binaries
  ☆241Updated 5 years ago
• CyberGrandChallenge / cgc-release-documentation
  DARPA Cyber Grand Challenge Documentation
  ☆115Updated 7 years ago
• test-pipeline / orthrus
  A tool to manage, conduct, and assess dictionary-based fuzz testing
  ☆64Updated 7 years ago
• angr / heaphopper
  HeapHopper is a bounded model checking framework for Heap-implementations
  ☆212Updated last month
• HexHive / T-Fuzz
  ☆248Updated 4 years ago
• shellphish / driller-afl
  A version of AFL tailored for Driller's use in analyzing CGC binaries.
  ☆80Updated 7 years ago
• julieeen / kleefl
  Seeding fuzzers with symbolic execution
  ☆201Updated 7 years ago
• RUB-SysSec / grimoire
  ☆127Updated 5 years ago
• axt / bingraphvis
  ☆42Updated 2 years ago
• rohanpadhye / FuzzFactory
  Domain-Specific Fuzzing with Waypoints
  ☆237Updated last year
• ucsb-seclab / dr_checker
  DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers
  ☆331Updated 2 years ago
• DanGe42 / flush-reload
  [UNMAINTAINED] Implementation of the FLUSH+RELOAD side channel attack
  ☆58Updated 7 years ago
• d0c-s4vage / gramfuzz
  gramfuzz is a grammar-based fuzzer that lets one define complex grammars to generate text and binary data formats.
  ☆256Updated 4 years ago
• krx / radare3
  The greatest tool to ever grace the computers of this earth 💯
  ☆30Updated 5 years ago
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 11 years ago