Welcome! You will find here my CTF writeups. I mostly focus on reversing and forensics tasks, but sometimes I pwn too. I usually play CTF with the team ret2school.

Besides CTF, I’m a PhD student working on formally verified compilation.