| 书目名称 | Compilation for Secure Multi-party Computation |
| 编辑 | Niklas Büscher,Stefan Katzenbeisser |
| 视频video | |
| 丛书名称 | SpringerBriefs in Computer Science |
| 图书封面 |  |
| 描述 | .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 proto |
| 出版日期 | Book 2017 |
| 关键词 | Compiler construction; Secure computation; Secure Multi-party Computation; Parallelization; Cryptography |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-319-67522-0 |
| isbn_softcover | 978-3-319-67521-3 |
| isbn_ebook | 978-3-319-67522-0Series ISSN 2191-5768 Series E-ISSN 2191-5776 |
| issn_series | 2191-5768 |
| copyright | The Author(s) 2017 |
发表于 2025-3-21 16:58:01
