misc

How to write more?

PhD Reading List

IEEE S&P 202 Shadow Program Committee

A Systems Programmer

project

Whole Kernel Static Analysis

research

Detecting malicious contributions in open-source projects

Program Synthesis for Reconstructing Embedded Systems Binaries