Recent Posts

• A brief introduction to Binary Exploitation

  13 Feb, 2020

  An introduction to binary analysis and exploitation, covering static analysis, dynamic analysis, and writing a ROP chain exploit.

• Solving Sudo Sudoku using Z3

  27 Dec, 2019

  A writeup for the Sudo Sudoku challenge from OverTheWire Advent Bonanza 2019, solved using the Z3 theorem prover.