Compilation Techniques for Actively Secure Mixed Mode Two Party Computation
| dc.contributor.author | Norton, Alex | |
| dc.date.accessioned | 2019-09-03T16:05:11Z | |
| dc.date.available | 2019-09-03T16:05:11Z | |
| dc.date.issued | 2019-09-03 | |
| dc.date.submitted | 2019-08-28 | |
| dc.description.abstract | Secure multiparty computation allows two or more parties to compute a function without leaking unnecessary information about their inputs to other parties. In traditional secure multiparty computation protocols, the function is represented as a circuit and each gate of the circuit is securely computed. The mixed mode model is a generalization where only some gates are computed securely, and other gates are computed in a local, unsecured manner. There are computations where mixed mode protocols are known to be just as secure and much more efficient, and so it is natural to ask if it is possible to automatically construct optimized mixed mode secure protocols for a given function. Previous results describe powerful compilation techniques to transform circuits into efficient mixed mode protocols, but the results are only secure against very restricted (passive) adversaries. These passively secure protocols can be secured against active adversaries using extensions of classic secure multiparty computation compilation techniques. However, this comes with a significant loss of concrete efficiency, which negates the mixed mode efficiency advantages. In this thesis, we describe novel techniques that can efficiently compile mixed mode two party protocols from passive to active security. The techniques exploit structural properties of the underlying circuits to reduce the overhead of compilation without compromising the security. The gain in efficiency varies based on the circuit that is being compiled, and although for some circuits the techniques will yield no gains, for others the resulting secure protocols have exponentially lower computation and communication cost. | en |
| dc.identifier.uri | http://hdl.handle.net/10012/15016 | |
| dc.language.iso | en | en |
| dc.pending | false | |
| dc.publisher | University of Waterloo | en |
| dc.subject | cryptography | en |
| dc.subject | secure multiparty computation | en |
| dc.subject | secure computation | en |
| dc.subject | SMC | en |
| dc.subject | malicious model | en |
| dc.subject | active security | en |
| dc.subject | mixed mode | en |
| dc.subject | protocol compilation | en |
| dc.title | Compilation Techniques for Actively Secure Mixed Mode Two Party Computation | en |
| dc.type | Master Thesis | en |
| uws-etd.degree | Master of Mathematics | en |
| uws-etd.degree.department | David R. Cheriton School of Computer Science | en |
| uws-etd.degree.discipline | Computer Science | en |
| uws-etd.degree.grantor | University of Waterloo | en |
| uws.contributor.advisor | Kerschbaum, Florian | |
| uws.contributor.affiliation1 | Faculty of Mathematics | en |
| uws.peerReviewStatus | Unreviewed | en |
| uws.published.city | Waterloo | en |
| uws.published.country | Canada | en |
| uws.published.province | Ontario | en |
| uws.scholarLevel | Graduate | en |
| uws.typeOfResource | Text | en |