Wysteria swMATH ID: 41618 Software Authors: Rastogi, A., Hammer, M.A., Hicks, M. Description: Wysteria: a programming language for generic, mixed-mode multiparty computations. 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 single-threaded 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 Homepage: https://www.cs.umd.edu/~aseem/wysteria-tr.pdf Related Software: Sharemind; EasyUC; HyCC; JIFF; Links; Hop; Hop.js; Ocsigen; Ur/Web; JustGarble; VIFF Cited in: 3 Documents all top 5 Cited by 12 Authors 1 Bacelar Almeida, JosĂ© 1 Barbosa, Manuel 1 Barthe, Gilles 1 Chang, Byeong-Mo 1 Choi, Kwanghoon 1 Hemenway, Brett 1 Lu, Steve 1 Ostrovsky, Rafail 1 Pacheco, Hugo 1 Pereira, Vitor 1 Portela, Bernardo 1 Welser, William IV Cited in 2 Serials 1 Journal of Functional Programming 1 Journal of Logical and Algebraic Methods in Programming Cited in 3 Fields 3 Computer science (68-XX) 1 Mechanics of particles and systems (70-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year