Compilers Reverse Engineering Binary Exploitation Gadgetless Binaries A summary of G-Free, defeating ROP attacks by eliminating gadgets
PL Types Quick Introduction to Type Theory A brief intro to some notions related to type theory in programming languages.