Xiao Shaun Wang, S. Dov Gordon, Allen McIntosh, Jonathan Katz. Secure Computation of MIPS Machine Code. In Ioannis G. Askoxylakis, Sotiris Ioannidis, Sokratis K. Katsikas, Catherine A. Meadows, editors, Computer Security - ESORICS 2016 - 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part II. Volume 9879 of Lecture Notes in Computer Science, pages 99-117, Springer, 2016. [doi]