R. Sekar, V. N. Venkatakrishnan, Samik Basu, Sandeep Bhatkar, Daniel C. DuVarney. Model-carrying code: a practical approach for safe execution of untrusted applications. In Michael L. Scott, Larry L. Peterson, editors, Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, SOSP 2003, Bolton Landing, NY, USA, October 19-22, 2003. pages 15-28, ACM, 2003. [doi]
Abstract is missing.