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...
Main Authors: | , |
---|---|
Corporate Author: | |
Format: | Electronic eBook |
Language: | English |
Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
Series: | SpringerBriefs in Computer Science,
|
Subjects: | |
Online Access: | Full Text via HEAL-Link |
Table of 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.