open-education-hub / binary-securityLinks
Security Summer School, Binary track
☆29Updated 7 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:
- ☆170Updated last year
- Kernel development & exploitation practice environment.☆244Updated 2 years ago
- ☆111Updated 6 years ago
- Code and exercises for a workshop on z3 and angr☆234Updated 5 years ago
- A vulnerable C program for testing fuzzers.☆203Updated 3 years ago
- BINSEC binary-level open-source platform☆386Updated 5 months ago
- Old and new CTFs about Linux kernel exploitation.☆63Updated 3 years ago
- A full English version of the popular ctf-wiki☆108Updated last year
- Linux kernel exploitation experiments☆379Updated 2 weeks ago
- Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels☆82Updated 2 months ago
- ☆136Updated 3 years ago
- Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)☆65Updated 7 months ago
- Research paper collection for Linux kernel security from top security conferences.☆79Updated 8 years ago
- HeapHopper is a bounded model checking framework for Heap-implementations☆222Updated 6 months ago
- ArcHeap: Automatic Techniques to Systematically Discover New Heap Exploitation Primitives☆157Updated 4 years ago
- Kernel Address Space Layout Derandomization (KASLD) - A collection of various techniques to infer the Linux kernel base virtual address a…☆464Updated last year
- Extra goodies for GEF to (try to) make GDB suck even less☆172Updated 10 months ago
- My write-ups from various CTFs☆118Updated last year
- ☆189Updated 11 months ago
- Slides from our technical talks☆28Updated 4 months ago
- Reproduce CVEs from ForAllSecure Vulnerabilities Lab☆115Updated this week
- Janus: a state-of-the-art file system fuzzer on Linux☆232Updated 6 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆234Updated 3 years ago
- A tool for detecting Spectre vulnerabilities through fuzzing☆45Updated 4 years ago
- An intentionally vulnerable linux driver for research purposes/practice in kernel exploit dev☆127Updated 8 years ago
- All Files, Scripts, and exploits can be found here☆72Updated 4 years ago
- Kernel Fuzzer for Xen Project (KF/x) - Hypervisor-based fuzzing using Xen VM forking, VMI & AFL☆473Updated last year
- ☆64Updated last year
- CTF writeups☆42Updated 3 years ago
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆139Updated 4 years ago