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...

Full description

Saved in:
Bibliographic Details
Main Authors: B scher, Niklas
Corporate Authors: SpringerLink Online service
Group Author: Katzenbeisser, Stefan
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.