A type system for data-flow integrity on windows vista.

Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani

Browse the full PLDI paper archive.