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

R. Sekar, V. N. Venkatakrishnan, Samik Basu, Sandeep Bhatkar, Daniel C. DuVarney

Browse the full SOSP paper archive.