Titlebook: Engineering Secure Two-Party Computation Protocols; Design, Optimization Thomas Schneider Book 2012 Springer-Verlag Berlin Heidelberg 2012

Cabg318

妨礙

Basics of Efficient Secure Function Evaluation,used in state-of-the-art protocols for practically efficient SFE in Sect.?2.2. Finally, we show how these primitives, in particular GC, can be used for practically efficient SFE protocols in the two- and multi-party setting (Sect.?2.3).

Perceive

Circuit Optimizations and Constructions,ize of the boolean circuit representation of the function to be evaluated. In this chapter we show how to optimize boolean circuits for cryptographic protocols and give efficient circuit constructions. We first motivate protocols that allow “free” evaluation of XOR gates: (SFE), Homomorphic Encrypti

馬具

NOMAD

NUDGE

泥瓦匠

甜瓜

后天習(xí)得

archaeology

Introduction,ct.1.1 by setting secure computation in its larger context of other Privacy-Enhancing Technologies (PETs) such as secure channels and trusted computing. Afterwards, we give a roadmap to the book in Sect.1.2.