Automating Efficient RAM-Model Secure Computation

Loading...
Thumbnail Image
Files
CS-TR-5033.pdf(1011.53 KB)
No. of downloads: 571
Publication or External Link
Date
2014-03-13
Authors
Liu, Chang
Huang, Yan
Shi, Elaine
Katz, Jonathan
Hicks, Michael
Advisor
Citation
DRUM DOI
Abstract
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.
Notes
Rights