Slide 1 Slide 2 1 Vipul Goyal Microsoft Research, India Secure Composition of Cryptographic Protocols Slide 3 2 Secure Computation Protocols [Yao86, GMW87] x1x1 x2x2 x3x3…