Engineering Secure Two-Party Computation Protocols

1. Front Matter

   Pages i-xvi

   PDF

2. Introduction

   • Thomas Schneider

   Pages 1-4

3. Basics of Efficient Secure Function Evaluation

   • Thomas Schneider

   Pages 5-27

4. Circuit Optimizations and Constructions

   • Thomas Schneider

   Pages 29-49

5. Hardware-Assisted Garbled Circuit Protocols

   • Thomas Schneider

   Pages 51-84

6. Modular Design of Efficient SFE Protocols

   • Thomas Schneider

   Pages 85-119

7. Conclusion

   • Thomas Schneider

   Pages 121-124

8. Back Matter

   Pages 125-138

   PDF

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.

• SFE
• applied cryptography
• circuit optimization
• circuit protocols
• computation protocols
• privacy-preserving protocols
• secure computation
• secure function evaluation
• security protocols
• trusted computing

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)

• European Center for Security and, Privacy by Design (EC-SPRIDE), Technische Universität Darmstadt, Darmstadt, Germany

  Thomas Schneider

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.

Policies and ethics