DMCA
WYSTERIA: A Programming Language for Generic, Mixed-Mode Multiparty Computations
Cached
Download Links
| Citations: | 7 - 1 self |
BibTeX
@MISC{Rastogi_wysteria:a,
author = {Aseem Rastogi and Matthew A. Hammer and Michael Hicks},
title = {WYSTERIA: A Programming Language for Generic, Mixed-Mode Multiparty Computations},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
distrusting parties use cryptographic techniques to cooperatively compute over their private data; in the process each party learns only explicitly revealed outputs. In this paper, we present WYSTERIA, a high-level programming language for writing SMCs. As with past languages, like Fairplay, WYSTERIA compiles secure computations to circuits that are executed by an underlying engine. Unlike past work, WYSTERIA provides support for mixed-mode programs, which combine local, private computations with synchronous SMCs. WYSTERIA complements a standard feature set with built-in support for secret shares and with wire bundles, a new abstraction that supports generic n-party computations. We have formalized WYSTERIA, its refinement type system, and its operational semantics. We show that WYSTERIA programs have an easy-to-understand singlethreaded interpretation and prove that this view corresponds to the actual multi-threaded semantics. We also prove type soundness, a property we show has security ramifications, namely that information about one party’s data can only be revealed to another via (agreed upon) secure computations. We have implemented WYSTERIA, and used it to program a variety of interesting SMC protocols from the literature, as well as several new ones. We find that WYSTERIA’s performance is competitive with prior approaches while making programming far easier, and more trustworthy. I.
Keyphrases
mixed-mode multiparty computation programming language secure computation wysteria performance past work actual multi-threaded semantics party data built-in support cryptographic technique high-level programming language underlying engine past language smc protocol wysteria program secret share new abstraction security ramification private data generic n-party computation refinement type system mixed-mode program several new one wire bundle prior approach private computation synchronous smcs operational semantics standard feature type soundness
