Engineering Secure Two-Party Computation Protocols: Design, Optimization, and Applications of Efficient Secure Function Evaluation

ISBN-13: 9783642300417 / Angielski / Miękka / 2012 / 138 str.

Thomas Schneider

Opis

Secure two-party computation, called secure function evaluation (SFE), enables two mutually mistrusting parties, the client and server, to evaluate an arbitrary function on their respective private inputs while revealing nothing but the result. Originally the technique was considered to be too inefficient for practical privacy-preserving applications, but in recent years rapid speed-up in computers and communication networks, algorithmic improvements, automatic generation, and optimizations have enabled their application in many scenarios.The author offers an extensive overview of the most practical and efficient modern techniques used in the design and implementation of secure computation and related protocols. After an introduction that sets secure computation in its larger context of other privacy-enhancing technologies such as secure channels and trusted computing, he covers the basics of practically efficient secure function evaluation, circuit optimizations and constructions, hardware-assisted garbled circuit protocols, and the modular design of efficient SFE protocols. The goal of the author's research is to use algorithm engineering methods to engineer efficient secure protocols, both as a generic tool and for solving practical applications, and he achieves an excellent balance between the theory and applicability. The book is essential for researchers, students and practitioners in the area of applied cryptography and information security who aim to construct practical cryptographic protocols for privacy-preserving real-world applications.

Recenzje

From the reviews:

"This book, an elaboration of the author's PhD thesis, presents alternative approaches to the development of secure two-party computation protocols based on secure function evaluation (SFE). ... Directions for future research are offered and a comprehensive bibliography is provided. In a nutshell, this is an interesting book that could be used in a vertical way by implementers, practitioners, and graduate students. Security practitioners could use it in broader terms to support their horizon scanning techniques for emerging technologies." (Alessandro Berni, ACM Computing Reviews, December, 2012)

Spis treści

Chap. 1, Introduction.- Chap. 2, Basics of Practically Efficient Secure Function Evaluation.- Chap. 3, Circuit Optimizations and Constructions.- Chap. 4, Hardware-Assisted Garbled Circuit Protocols.- Chap. 5, Modular Design of Efficient SFE Protocols.- Chap. 6, Conclusions.- References.- Index.

O autorze

Dr.-Ing. Thomas Schneider heads the Engineering Cryptographic Protocols group at the European Center for Security and Privacy by Design (EC-SPRIDE) at Technische Universität Darmstadt, Germany. He received his PhD from Ruhr-Universität Bochum, Germany. His research interests cover applied cryptography and information security, and in particular secure computation and related protocols.