Welcome! You will find here my CTF writeups. I mostly focus on reversing and forensics tasks, along with a little bit of everything.

I usually play CTF with the team The Flat Network Society.

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