Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
PageMenu
-
Hauptmenü
-
Suchmenü
Einfache Suche
.
Erweiterte Suche
.
Zeitschriften-Suche
.
Suchergebnisse verfeinern
.
Neuerwerbungsliste nach Gruppen
.
Sortierreihenfolge
.
Benutzerdienste
Nutzeranmeldung
.
Mein Konto
.
Erwerbungsvorschlag
.
Fernleihe
.
Vormerkung
.
Verlängerung
.
Weitere Recherchemöglichkeiten
Datenbankinfosystem (DBIS)
.
Karlsruher virtueller Katalog (KVK)
.
Regensburger Systematik (RVK)
.
Elektronische Zeitschriften (EZB)
.
Zeitschriftendatenbank (ZDB)
.
Sitzung beenden
Katalog verlassen
.
Homepage WHZ
.
Hochschulbibliothek
.
© LIBERO v6.4.1sp240211
Page content
Sie befinden sich hier
:
Katalogdatenanzeige
Katalogdatenanzeige
Vorheriger Titel
.
Compilation for secure multi-party computation
.
Bookmark für diesen Satz setzen
Katalogdatensatz500267980
.
.
Wikipedia-Verfasserlink
.
.
LibraryThing
.
Kataloginformation
Katalogdatensatz500267980
.
Kataloginformation
Feldname
Details
Vorliegende Sprache
eng
ISBN
978-3-319-67521-3
Name
Büscher, Niklas ¬[VerfasserIn]¬
Katzenbeisser, Stefan ¬[VerfasserIn]¬
Name ANZEIGE DER KETTE
Katzenbeisser, Stefan ¬[VerfasserIn]¬
T I T E L
Compilation for secure multi-party computation
Verlagsort
Cham
Verlag
Springer
Erscheinungsjahr
[2017]
2017
Umfang
1 Online-Ressource
Reihe
SpringerBriefs in Computer Science
Titelhinweis
Druckausg.ISBN: 978-3-319-67521-3
ISBN
ISBN 978-3-319-67522-0
Klassifikation
UR
UTN
COM053000
005.8
QA76.9.A25
Kurzbeschreibung
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
2. Kurzbeschreibung
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
SWB-Titel-Idn
495983500
Signatur
Springer E-Book
Bemerkungen
Elektronischer Volltext - Campuslizenz
Elektronische Adresse
$uhttp://dx.doi.org/10.1007/978-3-319-67522-0
Internetseite / Link
Volltext
Siehe auch
Volltext
Siehe auch
Cover
.
ISBD-Anzeige
Katalogdatensatz500267980
.
Kategorien-Anzeige
Katalogdatensatz500267980
.
Verwandte Werke
Katalogdatensatz500267980
.
Titel zur Titelsammlung hinzufügen
Katalogdatensatz500267980
.
Kataloginformation500267980
Datensatzanfang
.
Kataloginformation500267980
Seitenanfang
.
Titel vormerken
Katalogdatensatz500267980
Vollanzeige Katalogdaten
Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.
Im Bereich
Kataloginformation
werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.
Der Bereich
Exemplarinformationen
enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.
Schnellsuche
Suche nach