Compilation for Secure Multi-party Computation

• Κύριοι συγγραφείς: Büscher, Niklas (Συγγραφέας), Katzenbeisser, Stefan (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Σειρά: SpringerBriefs in Computer Science,
• Θέματα: 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...

Πίνακας περιεχομένων:

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