polygl0ts / writeups
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
- Repo for storing CTF related stuff (Writeups, etc.)☆51Updated last year
- HeapHopper is a bounded model checking framework for Heap-implementations☆215Updated 6 months ago
- CSAW Embedded Security Challenge 2019☆33Updated 5 years ago
- This repo holds materials for our Splash 2017 class on Z3.☆25Updated 7 years ago
- Slides from our technical talks☆29Updated 5 months ago
- visualizing CTF clusters (teams playing together at DEFCON quals 2022)☆41Updated last year
- ☆53Updated 3 years ago
- ☆66Updated 4 years ago
- ☆26Updated 3 years ago
- Contains all the components necessary to run a DC finals (attack-defense CTF) game from OOO.☆54Updated 3 years ago
- A tool for finding the one gadget RCE in libc☆76Updated 4 years ago
- ☆109Updated 5 months ago
- tools for shellcoding☆55Updated last year
- Implementation of attacks on cryptosystems☆71Updated 3 years ago
- Typora theme based on the CryptoHack blog☆32Updated 4 years ago
- ☆27Updated 2 years ago
- ☆28Updated 6 years ago
- ☆46Updated last year
- Code and exercises for a workshop on z3 and angr☆226Updated 4 years ago
- Yet another CTF writeups repository. PWN and RE tasks☆35Updated 4 years ago
- Cross-architecture instruction counting for CTF solving☆46Updated 3 years ago
- Collection of shellcodes that use a variety of syscalls in order to bypass some seccomp configurations☆70Updated 7 years ago
- Upcoming list of ctfs directly in your terminal!☆16Updated last year
- ☆26Updated 3 years ago
- Implements Coron's simplification of Coppersmith's algorithm☆42Updated last year
- A flag submitter service with distributed attackers for attack/defense CTF games.☆73Updated 5 years ago
- Lazy python wrapper of KLEE for solving CTF challenges☆65Updated 4 years ago
- Proof-of-concept code for the SMoTherSpectre exploit.☆74Updated 5 years ago
- A quick-and-easy web CTF platform for people who love ASCII and minimalism.☆13Updated 3 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆75Updated 2 years ago