05-14-2018

DEF CON Quals 2018: It's a Me

05-03-2017

DEF CON CTF Qualifier 2017

12-12-2015

NSA Cybersprint 2015

09-11-2017

Matasano Crypto Challenges, Set 7

05-21-2017

Matasano Crypto Challenges, Set 6

04-21-2017

Matasano Crypto Challenges, Set 5

03-07-2017

Matasano Crypto Challenges, Set 1

03-07-2017

Matasano Crypto Challenges, Set 2

03-07-2017

Matasano Crypto Challenges, Set 3

03-07-2017

Matasano Crypto Challenges, Set 4

12-20-2017

Formal Verification: The Gap Between Perfect Code and Reality

09-25-2017

Formal Reasoning in Coq — a Beginner's Guide

03-23-2024

A Translation of Black Myth: Wukong — Compendium of Creatures

12-04-2017

Using the LLVM MC Disassembly API

05-03-2017

Generating and Interpreting Bytecode for MITScript — Using Rust

04-15-2017

Writing a C++ Interpreter for MITScript

03-07-2017

Flex and Bison for a Simple Language, MITScript

10-04-2024

Learning to Read Chinese Classic Literary Fiction

08-27-2023

One Thousand and One Hobbies

04-28-2019

The Ultimate Low-Budget Ergonomic Hacker Battlestation

02-11-2019

Investing in a Good Note-Taking Application

08-13-2017

Protips for Speed (And Reducing RSI) for Programmers or Mac Users

05-23-2017

Looking Towards Summer: Concolic Execution, Fuzzy Panda, and More

04-04-2017

Upcoming Blog Posts — Stay Tuned!

05-23-2017

Looking Towards Summer: Concolic Execution, Fuzzy Panda, and More

01-01-2021

Fiction and Fandoms for Quarantine

01-23-2018

My Favorite Films of All Time

03-14-2017

Starting a New Security Club at MIT

11-14-2018

Time-Travel Debugging in PANDA

08-29-2022

I, Not Robot

05-27-2018

Sunset of Eden: Sci-Fi Short Story Based on the Three-Body Problem