open-education-hub / binary-securityLinks
Security Summer School, Binary track
☆28Updated 2 months ago
Alternatives and similar repositories for binary-security
Users that are interested in binary-security are comparing it to the libraries listed below
Sorting:
- ☆163Updated 6 months ago
- BINSEC binary-level open-source platform☆364Updated 3 weeks ago
- CTF writeups☆42Updated 3 years ago
- A vulnerable C program for testing fuzzers.☆199Updated 2 years ago
- Code and exercises for a workshop on z3 and angr☆229Updated 4 years ago
- Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels☆74Updated 2 years ago
- Linux kernel exploitation experiments☆280Updated last week
- Security Summer School: Security Essentials Track☆28Updated last year
- Kernel development & exploitation practice environment.☆233Updated last year
- Research paper collection for Linux kernel security from top security conferences.☆77Updated 7 years ago
- Security Summer School, Web track☆25Updated last week
- HeapHopper is a bounded model checking framework for Heap-implementations☆216Updated 3 weeks ago
- Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)☆58Updated last month
- helps visualize heap operations for pwn and debugging☆319Updated 2 years ago
- Kernel Address Space Layout Derandomization (KASLD) - A collection of various techniques to infer the Linux kernel base virtual address a…☆444Updated last year
- ArcHeap: Automatic Techniques to Systematically Discover New Heap Exploitation Primitives☆155Updated 4 years ago
- FAUST Gameserver for attack-defense CTFs☆78Updated 2 weeks ago
- Reproduce CVEs from ForAllSecure Vulnerabilities Lab☆110Updated 2 years ago
- SALT - SLUB ALlocator Tracer for the Linux kernel☆153Updated 6 years ago
- small cute utils for kernel challenges☆37Updated last year
- Kernel Fuzzer for Xen Project (KF/x) - Hypervisor-based fuzzing using Xen VM forking, VMI & AFL☆473Updated last year
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆138Updated 3 years ago
- CSAW Embedded Security Challenge 2020☆27Updated 4 years ago
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆42Updated 2 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆230Updated 3 years ago
- Proof-of-concept code for the SMoTherSpectre exploit.☆75Updated 5 years ago
- This repository contains several tools to perform Prefetch Side-Channel Attacks☆59Updated 8 years ago
- A collection of ready to use binary analysis tools☆60Updated last year
- An intentionally vulnerable linux driver for research purposes/practice in kernel exploit dev☆122Updated 8 years ago
- A flag submitter service with distributed attackers for attack/defense CTF games.☆73Updated 6 years ago