Secure Computation of MIPS Machine Code

Xiao Wang; S.  Dov Gordon; Allen McIntosh; Jonathan Katz

Paper 2015/547

Secure Computation of MIPS Machine Code

Xiao Wang, S. Dov Gordon, Allen McIntosh, and Jonathan Katz

Abstract

Existing systems for secure computation require programmers to express the program to be securely computed as a circuit, or in some 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 has the advantage of allowing 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 existing “legacy” 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 ALU 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.

Metadata

Available format(s): PDF
Category: Cryptographic protocols
Publication info: Published elsewhere. Minor revision. ESORICS 2016
Keywords: secure computation oram
Contact author(s): gordon @ cs umd edu
History: 2016-07-08: last of 2 revisions; 2015-06-08: received; See all versions
Short URL: https://ia.cr/2015/547
License: CC BY

BibTeX

@misc{cryptoeprint:2015/547,
      author = {Xiao Wang and S.  Dov Gordon and Allen McIntosh and Jonathan Katz},
      title = {Secure Computation of {MIPS} Machine Code},
      howpublished = {Cryptology {ePrint} Archive, Paper 2015/547},
      year = {2015},
      url = {https://eprint.iacr.org/2015/547}
}