Automating Efficient RAM-Model Secure Computation

Simple item page
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.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.identifier.urihttp://hdl.handle.net/1903/15552
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

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
CS-TR-5033.pdf
Size:
1011.53 KB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.57 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Technical Reports of the Computer Science Department