Menu
Află starea comenzii
Contactați-ne
Carte Compilation for Secure Multi-party Computation Stefan Katzenbeisser

Compilation for Secure Multi-party Computation

Autor: Stefan Katzenbeisser, Niklas Büscher
Limbă: engleză
Legare: Carte broșată
Editura: Springer International Publishing AG
Disponibilitate: În depozitul extern în cantități mici
Expediem în 13-18 zile
348.50 lei
This book presents a holistic view on compiler assisted practical secure multi-party computation (MP...

Informații despre carte

Autor
Stefan Katzenbeisser, Niklas Büscher
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2017
Pagini
93
EAN
9783319675213
ISBN
3319675214
Enbook ID
17963676
Editura
Springer International Publishing AG
Greutate
1708
Dimensiuni
155 x 6 x 7

Descriere completă

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 h ow 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 rea lizing 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. T hen 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.

S-ar putea să te intereseze

Mint on the Pillow

Jo-Ann Irwin Crawley
113.04 lei

Ministry of Women at the Altar

Nederland M Fulgencio
102.36 lei

Get Back in Front: 45 Precise Rules for Raises, Promotions, and Projects

Brad Cormier
88.76 lei

Incredible Vegan Ice Cream

Deena Jalal
89.56 lei

Clienții care au cumpărat această carte au mai cumpărat și

Cerrah

Michael Palmer
102.15 lei

L'indipendenza dell'America spagnola. Dalla crisi della monarchia alle nuove repubbliche

Federica Morelli
103.67 lei

Cheval Bleu. Dans Les Feuilles. Le Marchand de Lis. Menine, Contes

POUVILLON-E
139.34 lei

Neuere Geschichte der Deutschen von der Reformation bis zur Bundes-Akte

Karl Adolf Menzel
137.02 lei

La Cité des nuages et des oiseaux - Grand prix de littérature américaine 2022

Anthony Doerr
165.13 lei

INTRODUCION AS ECUACIONS DIFERENCIAIS ORDINARIAS

BUEDO FERNANDEZ
16.11 lei