In this quick writeup, I write a bit about the graduate applications cycle and share my application materials from Fall 2016, including my NSF Fellowship application.

In this post, I explore how Rust's type system provides programmers with powerful reasoning principles. In doing so, I attempt to present an accessible explanation of an idea known as free theorems and its relationship with noninterference, a common security property.

In this post, I walk through a talk I gave at NEPLS on my research enabling system administrators to update high-level, declarative system configurations through the ordinary use of a shell.

As its founder, I detail the history of the PdgnCo IRC network, a self-proclaimed bastion of democratic autonomism on the web.

In this op-ed for the Daily Collegian, I extol the hard work of dining workers and encourage students to support them in their endeavors to achieve economic justice.

In this writeup from the first HSCTF, I walk through the solution to my Haskell reverse engineering problem entitled 'λ1'.

In this writeup from the first HSCTF, I walk through the solution to my unsolved reconnaissance problem entitled 'awe'.

After the successful completion of the first ever HSCTF, a high school computer security competition, I give a quick overview of the competition and announce the winners.