Model-carrying code: a practical approach for safe execution of untrusted applications. (2003)

by R Sekar, V Venkatakrishnan, S Basu, S Bhatkar, D C DuVarney
Venue:In ACM SOSP,