Avik Chaudhuri Prasad Naldurg Sriram K. Rajamani A type system for data-flow integrity on windows vista. 89-100 2008 PLAS http://doi.acm.org/10.1145/1375696.1375708 conf/pldi/2008plas db/conf/pldi/plas2008.html#ChaudhuriNR08