Omer Horvitz Jonathan Katz Universally-Composable Two-Party Computation in Two Rounds. 111-129 2007 conf/crypto/2007 CRYPTO http://dx.doi.org/10.1007/978-3-540-74143-5_7 db/conf/crypto/crypto2007.html#HorvitzK07