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.date.accessioned2014-08-06T19:53:32Z
dc.date.available2014-08-06T19:53:32Z
dc.date.issued2014-03-13
dc.identifier.urihttp://hdl.handle.net/1903/15552
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.language.isoen_USen_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

Thumbnail

This item appears in the following Collection(s)

Show simple item record