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. PDF
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. PDF
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. PDF
Sequential Composition of Protocols without Simultaneous Termination 2002 Y. Lindell, A. Lysyanskaya and T. Rabin. In 21st PODC, pages 203-212, 2002. PDF
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. PDF