Here is an extensive overview of practical and efficient modern techniques for design and
implementation of secure computation and related protocols. Covers circuit optimization
hardware-assisted garbled circuit protocols and modular design of SFE protocols.