Automating Efficient RAM-Model Secure Computation
Automating Efficient RAM-Model Secure Computation
复制标题
自动化高效 RAM 模型安全计算
DOI：
10.1109/sp.2014.46
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
M. Hicks
中科院分区：
文献类型：
--
作者：
Chang Liu;Yan Huang;E. Shi;Jonathan Katz;M. Hicks
RAM模型安全计算解决了几乎所有以前的工作中考虑的电路模型安全计算的固有局限性。这里，我们描述了第一种自动化的RAM方法--半诚实模型下的模型安全计算。我们定义了一种称为SCVM的中间表示，并定义了一种适用于RAM模型安全计算的类型系统。利用编译时优化，与电路模型安全计算和最先进的RAM模型安全计算相比，我们的方法实现了数量级的加速。
RAM-model secure computation addresses the inherent limitations of circuit-model secure computation considered in almost all previous work. Here, we describe the first automated approach for RAM-model secure computation in the semi-honest model. We define an intermediate representation called SCVM and a corresponding type system suited for RAM-model secure computation. Leveraging compile-time optimizations, our approach achieves order-of-magnitude speedups compared to both circuit-model secure computation and the state-of-art RAM-model secure computation.