Compilation for Secure Multi-party Computation

Compilation for Secure Multi-party Computation
Author :
Publisher : Springer
Total Pages : 98
Release :
ISBN-10 : 9783319675220
ISBN-13 : 3319675222
Rating : 4/5 (222 Downloads)

Book Synopsis Compilation for Secure Multi-party Computation by : Niklas Büscher

Download or read book Compilation for Secure Multi-party Computation written by Niklas Büscher and published by Springer. This book was released on 2017-11-16 with total page 98 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents a holistic view on compiler assisted practical secure multi-party computation (MPC) over Boolean circuits. It discusses that two or more parties jointly evaluate a function over their inputs in such a way that each party keeps its input unknown to the other parties in MPC. MPC provides a generic way to construct Privacy-Enhancing Technologies, which protect sensitive data during processing steps in untrusted environments. A major obstacle in the past was to generate MPC applications by hand. Recently, special compilers have been developed to build all kinds of applications. This book also explains in detail how efficient MPC applications can be created automatically from ANSI-C, thus, bridging the areas of cryptography, compilation and hardware synthesis. It also gives an insight into the requirements for creating efficient applications for MPC and is hence of interest to not only researchers in the area of MPC but also developers realizing practical applications with MPC. For a better understanding of the complete compile chain from ANSI-C to circuits, which is the ‘machine code’ of MPC, the authors first give the necessary background information on MPC protocols, Boolean logic, and logic synthesis. Then the authors describe the various compilation steps required to translate any code into an adequate circuit description. Afterwards, the authors introduce a variety of optimization techniques for two classes of MPC protocols, namely techniques that improve the runtime of applications in constant- and multi-round MPC protocols. The authors also illustrate how efficient parallelization of MPC protocols can be achieved using the assistance of compilers. It presents the effectiveness of the proposed techniques by giving a detailed evaluation on benchmarking applications. Most of the aforementioned techniques are implemented in our open source compiler that is accompanying this book and allows to study compilation for MPC in practice.Researchers who are interested in practical secure multi-party computation (MPC), and developers who are interested in realizing MPC applications in practice will find this book useful as a reference, as well as advanced-level students in computer science.


Compilation for Secure Multi-party Computation Related Books

A Pragmatic Introduction to Secure Multi-Party Computation
Language: en
Pages: 190
Authors: David Evans
Categories:
Type: BOOK - Published: 2018-12-19 - Publisher: Foundations and Trends (R) in Privacy and Security

DOWNLOAD EBOOK

Practitioners and researchers seeking a concise, accessible introduction to secure multi-party computation which quickly enables them to build practical systems
Compilation for Secure Multi-party Computation
Language: en
Pages: 98
Authors: Niklas Büscher
Categories: Computers
Type: BOOK - Published: 2017-11-16 - Publisher: Springer

DOWNLOAD EBOOK

This book presents a holistic view on compiler assisted practical secure multi-party computation (MPC) over Boolean circuits. It discusses that two or more part
Secure Multi-party Computation
Language: en
Pages: 296
Authors: Manoj Prabhakaran
Categories: Computers
Type: BOOK - Published: 2013 - Publisher: IOS Press

DOWNLOAD EBOOK

Secure Multi-Party Computation MPC is one of the most powerful tools developed by modern cryptography it facilitates collaboration among mutually distrusting pa
Efficient Secure Two-Party Protocols
Language: en
Pages: 271
Authors: Carmit Hazay
Categories: Computers
Type: BOOK - Published: 2010-11-02 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

In the setting of multiparty computation, sets of two or more parties with p- vate inputs wish to jointly compute some (predetermined) function of their inputs.
Secure Multiparty Computation
Language: en
Pages: 385
Authors: Ronald Cramer
Categories: Computers
Type: BOOK - Published: 2015-07-15 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

This book provides information on theoretically secure multiparty computation (MPC) and secret sharing, and the fascinating relationship between the two concept