Secure Computation of MIPS Machine Code
Secure Computation of MIPS Machine Code
复制标题
MIPS 机器代码的安全计算
DOI：
10.1007/978-3-319-45741-3_6
复制
发表时间：
2016
影响因子：
5
通讯作者：
Jonathan Katz
中科院分区：
文献类型：
--
作者：
X. Wang;S. D. Gordon;Allen McIntosh;Jonathan Katz
用于安全计算的现有系统要求程序员将待安全计算的程序表达为电路，或者以可以被编译为适合于应用已知协议的形式的域特定语言来表达。我们提出了一个新的系统，可以安全地执行本地MIPS代码，没有特殊的注释。我们的系统允许程序员使用他们选择的语言来表达他们的程序，连同任何现成的编译器MIPS;它也可以用于安全计算“遗留”MIPS代码。
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” MIPS code as well.