A Type System for Data-Flow Integrity on Windows Vista
Proc. 3rd ACM Workshop on Programming Languages and Analysis for Security, Tucson, USA (PLAS 2008), pp. 89-100. (Also appears in ACM SIGPLAN Notices, 43(12):9-20 , as one of "the top two papers of PLAS 2008".)
Publication date: January 31, 2008
A. Chaudhuri, S. Rajamani, P. Naldurg