Compilation for Secure Multi-party Computation

• Main Authors: Büscher, Niklas (Author), Katzenbeisser, Stefan (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Series: SpringerBriefs in Computer Science,
• Subjects: Computer science.; Computer security.; Data structures (Computer science).; Electronic circuits.; Computer Science.; Systems and Data Security.; Data Structures, Cryptology and Information Theory.; Circuits and Systems.

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

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.