A Proof of Security of Yao's Protocol for Two-Party Computation.

Yehuda Lindell Benny Pinkas A Proof of Security of Yao's Protocol for Two-Party Computation. 161-188 2009 22 J. Cryptology 2 http://dx.doi.org/10.1007/s00145-008-9036-8 db/journals/joc/joc22.html#LindellP09