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