Compilation for Secure Multi-party Computation

Nonfiction, Computers, Networking & Communications, Computer Security, Operating Systems, Application Software
Cover of the book Compilation for Secure Multi-party Computation by Niklas Büscher, Stefan Katzenbeisser, Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Niklas Büscher, Stefan Katzenbeisser ISBN: 9783319675220
Publisher: Springer International Publishing Publication: November 16, 2017
Imprint: Springer Language: English
Author: Niklas Büscher, Stefan Katzenbeisser
ISBN: 9783319675220
Publisher: Springer International Publishing
Publication: November 16, 2017
Imprint: Springer
Language: English

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.

This book also explains in detail how efficient MPC applications can be created automatically from ANSI-C, thus, bridging the areas of cryptography, compilation and hardware synthesis. It  also gives an insight into the requirements for creating efficient applications for MPC and is hence of interest to not only researchers in the area of MPC but also developers realizing practical applications with MPC. For a better understanding of the complete compile chain from ANSI-C to circuits, which is the ‘machine code’ of MPC, the authors first give the necessary background information on MPC protocols, Boolean logic, and logic synthesis. Then the authors describe the various compilation steps required to translate any code into an adequate circuit description. Afterwards, the authors introduce a variety of optimization techniques for two classes of MPC protocols, namely techniques that improve the runtime of applications in constant- and multi-round MPC protocols. The authors also illustrate  how efficient parallelization of MPC protocols can be achieved using the assistance of compilers. It presents  the effectiveness of the proposed techniques by giving a detailed evaluation on benchmarking applications. Most of the aforementioned techniques are implemented in our open source compiler that is accompanying this book and allows to study compilation for MPC in practice.Researchers who are interested in practical secure multi-party computation (MPC), and developers who are interested in realizing MPC applications in practice will find this book useful as a reference, as well as advanced-level students in computer science.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

This book also explains in detail how efficient MPC applications can be created automatically from ANSI-C, thus, bridging the areas of cryptography, compilation and hardware synthesis. It  also gives an insight into the requirements for creating efficient applications for MPC and is hence of interest to not only researchers in the area of MPC but also developers realizing practical applications with MPC. For a better understanding of the complete compile chain from ANSI-C to circuits, which is the ‘machine code’ of MPC, the authors first give the necessary background information on MPC protocols, Boolean logic, and logic synthesis. Then the authors describe the various compilation steps required to translate any code into an adequate circuit description. Afterwards, the authors introduce a variety of optimization techniques for two classes of MPC protocols, namely techniques that improve the runtime of applications in constant- and multi-round MPC protocols. The authors also illustrate  how efficient parallelization of MPC protocols can be achieved using the assistance of compilers. It presents  the effectiveness of the proposed techniques by giving a detailed evaluation on benchmarking applications. Most of the aforementioned techniques are implemented in our open source compiler that is accompanying this book and allows to study compilation for MPC in practice.Researchers who are interested in practical secure multi-party computation (MPC), and developers who are interested in realizing MPC applications in practice will find this book useful as a reference, as well as advanced-level students in computer science.

More books from Springer International Publishing

Cover of the book Building Secure Defenses Against Code-Reuse Attacks by Niklas Büscher, Stefan Katzenbeisser
Cover of the book Current Progress in Medical Mycology by Niklas Büscher, Stefan Katzenbeisser
Cover of the book International Symposium on Gravity, Geoid and Height Systems 2016 by Niklas Büscher, Stefan Katzenbeisser
Cover of the book Canine and Feline Skin Cytology by Niklas Büscher, Stefan Katzenbeisser
Cover of the book Visual Guidance of Unmanned Aerial Manipulators by Niklas Büscher, Stefan Katzenbeisser
Cover of the book Software Engineering and Formal Methods by Niklas Büscher, Stefan Katzenbeisser
Cover of the book Metastatic Neoplasms in Fine-Needle Aspiration Cytology by Niklas Büscher, Stefan Katzenbeisser
Cover of the book Scalable Uncertainty Management by Niklas Büscher, Stefan Katzenbeisser
Cover of the book Nordic-Iberian Cod Value Chains by Niklas Büscher, Stefan Katzenbeisser
Cover of the book Protections of Tenure and Academic Freedom in the United States by Niklas Büscher, Stefan Katzenbeisser
Cover of the book Kitchener as Proconsul of Egypt, 1911-1914 by Niklas Büscher, Stefan Katzenbeisser
Cover of the book Value Networks in Manufacturing by Niklas Büscher, Stefan Katzenbeisser
Cover of the book E-Learning, E-Education, and Online Training by Niklas Büscher, Stefan Katzenbeisser
Cover of the book Trade Facilitation Capacity Needs by Niklas Büscher, Stefan Katzenbeisser
Cover of the book Automated Deduction - CADE-25 by Niklas Büscher, Stefan Katzenbeisser
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy