Record Details

Random access machine in secure multi-party computation

ScholarsArchive at Oregon State University

Field Value
Title Random access machine in secure multi-party computation
Names Hu, Zhangxiang (creator)
Rosulek, Michael J. (advisor)
Date Issued 2015-06-03 (iso8601)
Note Graduation date: 2016
Abstract Secure multi-party computation (MPC) is a conceptual framework in cryptography. It allows distrusting parties engage in a protocol to perform a computational task while still maintain some secure properties. Most existing approaches are required to interpret functions as a boolean circuit. With the recent state-of-art circuit garbling scheme, the performance are significantly improved. However, boolean circuit still has its limitations in practical usage, especially when the input data size is enormous.
In this thesis, we focus on another technique in MPC which is called random-access machines (RAM program). We first describe a zero-knowledge proof system in which a prover holds a large dataset M and can repeatedly prove NP relations about that dataset. This system achieves sublinear amortized cost. Second, we present the first practical protocols for evaluating RAM programs with security against malicious adversaries. The extra overhead of obtaining malicious security for RAM programs is minimal and does not grow with the running time of the program.
Genre Thesis/Dissertation
Access Condition http://creativecommons.org/licenses/by-nc-sa/3.0/us/
Topic Secure computation
Identifier http://hdl.handle.net/1957/56359

© Western Waters Digital Library - GWLA member projects - Designed by the J. Willard Marriott Library - Hosted by Oregon State University Libraries and Press