Simon Winwood, Manuel M. T. Chakravarty. Secure Untrusted Binaries - Provably!. In Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider, editors, Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers. Volume 3866 of Lecture Notes in Computer Science, pages 171-186, Springer, 2005. [doi]
Abstract is missing.