04-28-2019

The Ultimate Low-Budget Ergonomic Hacker Battlestation

02-11-2019

Investing in a Good Note-Taking Application

11-14-2018

Time-Travel Debugging in PANDA

05-27-2018

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

05-14-2018

DEF CON Quals 2018: It's a Me

01-23-2018

My Favorite Films of All Time

12-20-2017

Formal Verification: The Gap Between Perfect Code and Reality

12-04-2017

Using the LLVM MC Disassembly API

09-25-2017

Formal Reasoning in Coq — a Beginner's Guide

09-11-2017

Matasano Crypto Challenges, Set 7

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

05-21-2017

Matasano Crypto Challenges, Set 6

05-03-2017

DEF CON CTF Qualifier 2017

05-03-2017

Generating and Interpreting Bytecode for MITScript — Using Rust

04-21-2017

Matasano Crypto Challenges, Set 5

04-15-2017

Writing a C++ Interpreter for MITScript

04-04-2017

Upcoming Blog Posts — Stay Tuned!

03-14-2017

Starting a New Security Club at MIT

03-07-2017

Matasano Crypto Challenges, Set 1

03-07-2017

Matasano Crypto Challenges, Set 3

03-07-2017

Matasano Crypto Challenges, Set 2

03-07-2017

Matasano Crypto Challenges, Set 4

03-07-2017

Flex and Bison for a Simple Language, MITScript

12-12-2015

NSA Cybersprint 2015