Alternatives and similar repositories for binary-security

Users that are interested in binary-security are comparing it to the libraries listed below

• isec-tugraz / prefetch
  This repository contains several tools to perform Prefetch Side-Channel Attacks
  ☆61Updated 8 years ago
• pietroborrello / constantine
  Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels
  ☆80Updated 3 weeks ago
• martinradev / gdb-pt-dump
  ☆168Updated 10 months ago
• angr / heaphopper
  HeapHopper is a bounded model checking framework for Heap-implementations
  ☆221Updated 4 months ago
• OleksiiOleksenko / SpecFuzz
  A tool for detecting Spectre vulnerabilities through fuzzing
  ☆45Updated 4 years ago
• vusec / kasper
  Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel
  ☆58Updated last year
• cispa / osiris
  Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)
  ☆61Updated 5 months ago
• sslab-gatech / ArcHeap
  ArcHeap: Automatic Techniques to Systematically Discover New Heap Exploitation Primitives
  ☆156Updated 4 years ago
• season-lab / survey-symbolic-execution
  A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.
  ☆84Updated 7 years ago
• TrustworthyComputing / csaw_esc_2020
  CSAW Embedded Security Challenge 2020
  ☆26Updated 5 years ago
• open-education-hub / web-security
  Security Summer School, Web track
  ☆26Updated last week
• PLSysSec / pitchfork-angr
  ☆13Updated 5 years ago
• BinaryAnalysisPlatform / bap-tutorial
  The BAP tutorial
  ☆73Updated 2 years ago
• polygl0ts / writeups
  CTF writeups
  ☆42Updated 3 years ago
• vusec / blindside
  ☆37Updated 4 years ago
• isec-tugraz / KAISER
  Kernel Address Isolation to have Side-channels Efficiently Removed
  ☆221Updated 3 years ago
• AFLplusplus / qemuafl
  This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.
  ☆85Updated 2 weeks ago
• leesh3288 / CTF
  Repo for storing CTF related stuff (Writeups, etc.)
  ☆52Updated last year
• PaoloMonti42 / salt
  SALT - SLUB ALlocator Tracer for the Linux kernel
  ☆155Updated 7 years ago
• eqv / hexslides
  An opinionated tool to create amazing presentations
  ☆38Updated 2 years ago
• FSecureLABS / z3_and_angr_binary_analysis_workshop
  Code and exercises for a workshop on z3 and angr
  ☆233Updated 4 years ago
• draperlaboratory / cbat_tools
  Program analysis tools developed at Draper on the CBAT project.
  ☆105Updated 2 years ago
• ercoppa / symbolic-execution-tutorial
  Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.
  ☆135Updated 4 years ago
• binsec / binsec
  BINSEC binary-level open-source platform
  ☆374Updated 4 months ago
• kudu-dynamics / blaze-platform
  A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking…
  ☆55Updated 10 months ago
• PLSysSec / sys
  Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
  ☆233Updated 3 years ago
• MaherAzzouzi / LinuxKernelExploitation
  Old and new CTFs about Linux kernel exploitation.
  ☆61Updated 3 years ago
• martonbognar / gap-attacks
  The top repository for the code accompanying our paper "Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Executi…
  ☆15Updated 3 years ago
• TowerofHanoi / CTFsubmitter
  A flag submitter service with distributed attackers for attack/defense CTF games.
  ☆73Updated 6 years ago
• bordig-f / angr-strategies
  A cheat sheet that summarises "strategies" (or techniques) to use with angr.
  ☆32Updated 4 years ago