A Proof of Yao’s Protocol for Secure Two-Party Computation (2004)

by Yehuda Lindell, Benny Pinkas
Venue:Electronic Colloquium on Computational Complexity