1. Java and scala's type systems are unsound: the existential crisis of null pointers
2. A verified information-flow architecture
3. CodeSurfer/x86—A Platform for Analyzing x86 Executables
4. Erik Buchanan Ryan Roemer and Stefan Savage. {n. d.}. Return-Oriented Programming: Exploits Without Code Injection. https://hovav.net/ucsd/talks/blackhat08.html. ({n. d.}). Erik Buchanan Ryan Roemer and Stefan Savage. {n. d.}. Return-Oriented Programming: Exploits Without Code Injection. https://hovav.net/ucsd/talks/blackhat08.html. ({n. d.}).
5. Type Inference on Executables