@inproceedings{e183c4ab00074f30adf788e55b05cedc,
title = "Secure computation of MIPS machine code",
abstract = "Existing systems for secure computation require programmers to express the program to be securely computed as a circuit, or in a domain-specific language that can be compiled to a form suitable for applying known protocols. We propose a new system that can securely execute native MIPS code with no special annotations. Our system allows programmers to use a language of their choice to express their programs, together with any off-the-shelf compiler to MIPS; it can be used for secure computation of {"}legacy{\"a} MIPS code as well. Our system uses oblivious RAM for fetching instructions and performing load/store operations in memory, and garbled universal circuits for the execution of a MIPS CPU in each instruction step. We also explore various optimizations based on an offline analysis of the MIPS code to be executed, in order to minimize the overhead of executing each instruction while still maintaining security.",
author = "Xiao Wang and Gordon, {S. Dov} and Allen McIntosh and Jonathan Katz",
year = "2016",
month = "1",
day = "1",
doi = "10.1007/978-3-319-45741-3_6",
language = "English (US)",
isbn = "9783319457406",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "99--117",
editor = "Sokratis Katsikas and Catherine Meadows and Ioannis Askoxylakis and Sotiris Ioannidis",
booktitle = "Computer Security - 21st European Symposium on Research in Computer Security, ESORICS 2016, Proceedings",
address = "Germany",
note = "21st European Symposium on Research in Computer Security, ESORICS 2016 ; Conference date: 26-09-2016 Through 30-09-2016",
}