Show simple item record

Automating Efficient RAM-Model Secure Computation

dc.contributor.authorLiu, Chang
dc.contributor.authorHuang, Yan
dc.contributor.authorShi, Elaine
dc.contributor.authorKatz, Jonathan
dc.contributor.authorHicks, Michael
dc.description.abstractRAM-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.en_US
dc.relation.ispartofseriesUM Computer Science Department;CS-TR-5033
dc.titleAutomating Efficient RAM-Model Secure Computationen_US
dc.typeTechnical Reporten_US

Files in this item


This item appears in the following Collection(s)

Show simple item record