Publications

Note: the order of the papers here is according to the year of the conference in which the paper was presented.

Strict Polynomial-Time in Simulation and Extraction

2002
Y. Lindell and B. Barak.

In the SIAM Journal on Computing, 33(4):783-818, 2004. An extended abstract appeared in the 34th STOC, pages 484-493, 2002.

Universally Composable Two-Party and Multi-Party Secure Computation

2002
R. Canetti, Y. Lindell, R. Ostrovsky and A. Sahai.

In 34th STOC, pages 494-503, 2002. Full version available.

On the Composition of Authenticated Byzantine Agreement

2002
Y. Lindell, A. Lysyanskaya and T. Rabin.

To appear in the Journal of the ACM, 2006. An extended abstract appear in the 34th STOC, pages 514-523, 2002.

Sequential Composition of Protocols without Simultaneous Termination

2002
Y. Lindell, A. Lysyanskaya and T. Rabin.

In 21st PODC, pages 203-212, 2002.

Secure Computation Without Agreement

2002
S. Goldwasser and Y. Lindell.

In the Journal of Cryptology, 18(3):247-287, 2005. An extended abstract appeared in the 16th DISC, Springer-Verlag (LNCS 2508), pages 17-32, 2002.