CSAW Quals 2020: Blox1/2 Writeup (PWN)
Pwning a custom Tetris game through an out-of-bounds write to memory through
block manipulation and changes to the .text segment.
Google Quals 2020: Sprint (RE)
Solving a virtual machine implemented inside format strings found in the printf library in C.
Lambda Calculus Challenge 1
This was a challenge written for a programming languages and compilers course at ASU. This is meant to test your skill in lambda calculus.