polygl0ts / writeupsLinks
CTF writeups
☆42Updated 3 years ago
Alternatives and similar repositories for writeups
Users that are interested in writeups are comparing it to the libraries listed below
Sorting:
- This repo holds materials for our Splash 2017 class on Z3.☆26Updated 8 years ago
- ☆26Updated 7 years ago
- Code and exercises for a workshop on z3 and angr☆234Updated 5 years ago
- A tool for finding the one gadget RCE in libc☆77Updated 5 years ago
- ☆111Updated 6 years ago
- HeapHopper is a bounded model checking framework for Heap-implementations☆223Updated 7 months ago
- The code to the SGX-ROP paper☆185Updated 5 years ago
- Differential fuzzing for Smart Contract VMs☆52Updated 3 years ago
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆131Updated 3 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆77Updated 3 years ago
- Lazy python wrapper of KLEE for solving CTF challenges☆64Updated 5 years ago
- Cross-architecture instruction counting for CTF solving☆48Updated 3 years ago
- Proof-of-concept code for the SMoTherSpectre exploit.☆77Updated 6 years ago
- Here's the slides and audio for a talk I did at NYU on the 13th of November 2018☆28Updated 7 years ago
- Repo for storing CTF related stuff (Writeups, etc.)☆51Updated 2 years ago
- Implementation of Bleichenbacher, Manger and Ben-Or attacks on RSA PKCS#1 v1.5☆42Updated 7 years ago
- ☆52Updated 4 years ago
- SPRITZ plays CTFs! Writeups by spritzers☆63Updated 8 years ago
- Exploiting Array-Out-of-Bounds-Write-Accesses on Linux☆26Updated 8 years ago
- Manage building and deploying exploitation challenges with ease☆59Updated 3 months ago
- Vulnerability research notes for VirtualBox and QEMU. Contains debug environment setup notes, a PoC template, exploit primitive notes, an…☆198Updated last year
- PoC for breaking hypervisor ASLR using branch target buffer collisions☆167Updated 9 years ago
- Implementation of G-Free: Defeating Return-Oriented Programming through Gadget-less Binaries☆96Updated 7 years ago
- Tool to test different CTF scoring algorithms on real data☆17Updated 4 years ago
- ☆86Updated 2 years ago
- Automated fuzzing framework☆120Updated 3 years ago
- A fuzzing introspection tool☆167Updated 5 years ago
- Miscellaneous utilities and such that I use for pwning. Open sourced since people might find these useful. Be warned: nothing is stable.☆138Updated last year
- CSAW Embedded Security Challenge 2020☆26Updated 5 years ago
- About as basic of a mutator as you can get, but it does the trick in most situations☆64Updated 5 years ago