Avik Chaudhuri Prasad Naldurg Sriram K. Rajamani A type system for data-flow integrity on Windows Vista. 9-20 2008 43 SIGPLAN Notices 12 http://doi.acm.org/10.1145/1513443.1513447 db/journals/sigplan/sigplan43.html#ChaudhuriNR08