Compilation for Secure Multi-party Computation /
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 pro...
Saved in:
Main Authors: | |
---|---|
Corporate Authors: | |
Group Author: | |
Published: |
Springer International Publishing : Imprint: Springer,
|
Publisher Address: | Cham : |
Publication Dates: | 2017. |
Literature type: | eBook |
Language: | English |
Series: |
SpringerBriefs in Computer Science,
|
Subjects: | |
Online Access: |
http://dx.doi.org/10.1007/978-3-319-67522-0 |
Summary: |
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 |
Carrier Form: | 1 online resource (X, 93 pages): illustrations. |
ISBN: | 9783319675220 |
Index Number: | QA76 |
CLC: | TP309-532 |
Contents: | 1 Motivation -- 2 Related Work -- 3 Introduction into MPC Protocols -- 4 A general framework to compile circuits for MPC -- 5 Compiling size-optimized circuits for MPC protocols with constant rounds -- 6 Compiling depth-optimized circuits for round-based MPC protocols -- 7 Compiling parallel circuits for MPC protocols -- 8 Appendix. |