Compilation for Secure Multi-party Computation (eBook)
X, 93 Seiten
Springer International Publishing (Verlag)
978-3-319-67522-0 (ISBN)
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.
1. Motivation2. Related Work3. Introduction into MPC protocols3.1. Yao's Garbled Circuits protocol3.2. Goldreich-Wilkerson-Micali (GMW) protocol3.3. Requirements analysis4. A general framework to compile circuits for MPC4.1. Introduction into the model checker CBMC4.2. A new toolchain to compile circuits for MPC4.3. Adapter for MPC frameworks5. Compiling size-optimized circuits for MPC protocols with constant rounds5.1. Problem statement & optimization goal5.2. Extended compilation chain5.3. Boolean optimization methods5.4. Results6. Compiling depth-optimized circuits for round-based MPC protocols6.1. Problem statement & optimization goal6.2. Extended compilation chain6.3. High level optimization methods6.4. Low level optimization methods6.5. Results7. Compiling parallel circuits for MPC protocols7.1. Problem statement & optimization goal7.2. Extended compilation chain7.3. Fine-grained parallelization7.4. Coarse-grained parallelization7.5. Intra-party parallelization7.6. Results8. Appendix8.1. Examples in CBMC-GC
Erscheint lt. Verlag | 16.11.2017 |
---|---|
Reihe/Serie | SpringerBriefs in Computer Science |
Zusatzinfo | X, 93 p. 23 illus., 7 illus. in color. |
Verlagsort | Cham |
Sprache | englisch |
Themenwelt | Mathematik / Informatik ► Informatik |
Technik ► Elektrotechnik / Energietechnik | |
Schlagworte | Boolean circuits • circuit minimization • Circuit Synthesis • Compiler • Compiler Construction • cryptography • Logic Synthesis • MPC • Parallelization • privacy enhancing technologies • secure computation • secure multi-party computation • STC • Yao's Garbled Circuits |
ISBN-10 | 3-319-67522-2 / 3319675222 |
ISBN-13 | 978-3-319-67522-0 / 9783319675220 |
Haben Sie eine Frage zum Produkt? |
![PDF](/img/icon_pdf_big.jpg)
Größe: 1,7 MB
DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasserzeichen und ist damit für Sie personalisiert. Bei einer missbräuchlichen Weitergabe des eBooks an Dritte ist eine Rückverfolgung an die Quelle möglich.
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich