Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani. A type system for data-flow integrity on windows vista. In Úlfar Erlingsson, Marco Pistoia, editors, Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, PLAS 2008, Tucson, AZ, USA, June 8, 2008. pages 89-100, ACM, 2008. [doi]
Abstract is missing.