R. Sekar V. N. Venkatakrishnan Samik Basu Sandeep Bhatkar Daniel C. DuVarney Model-carrying code: a practical approach for safe execution of untrusted applications. 15-28 2003 conf/sosp/2003 SOSP http://doi.acm.org/10.1145/945445.945448 db/conf/sosp/sosp2003.html#SekarVBBD03