Archives
All the articles I've archived.
2020 1
February 1
-
A brief introduction to Binary Exploitation
An introduction to binary analysis and exploitation, covering static analysis, dynamic analysis, and writing a ROP chain exploit.
2019 1
December 1
-
Solving Sudo Sudoku using Z3
A writeup for the Sudo Sudoku challenge from OverTheWire Advent Bonanza 2019, solved using the Z3 theorem prover.