Guidelines for Evaluating Differential Privacy Guarantees

Warren's Abstract Machine: A Tutorial Reconstruction (1999)

How to Secure Existing C and C++ Software Without Memory Safety [pdf]

The Calculated Typer

Integer Linear Programming (ILP) (2020)

Appeal to the Congress from Former Secretaries of Defense [pdf]

STEPS Toward the Reinvention of Programming (2012) [pdf]

Image Processing in C (2000) [pdf]

Beej's Guide to C Programming [pdf]

DOJ asks for judgement requiring Google to divest Chrome [pdf]