My Insecurities

Presentations:

Protecting Users by Confining JavaScript with COWL

Code-Pointer Integrity

Ironclad Apps: End-to-End Security via Automated Full-System Verification

SHILL: A Secure Shell Scripting Language