Publications

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

Handling Expected Polynomial-Time Strategies in Simulation-Based Security Proofs

2005
J. Katz and Y. Lindell.

In the Journal of Cryptology, 21(3):303-349, 2008. An extended abstract appeared in the 2nd Annual Theory of Cryptography Conference (TCC), Springer-Verlag (LNCS 3378), pages 128-149, 2005.

Concurrent Composition of Secure Protocols in the Timing Model

2005
Y.T. Kalai, Y. Lindell and M. Prabhakaran.

In the Journal of Cryptology, 20(4):431-492, 2007. An extended abstract appeared in the 37th STOC, pages 644-653, 2005.

Universally Composable Password-Based Key Exchange

2005
R. Canetti, S. Halevi, J. Katz, Y. Lindell and P. Mackenzie.

In EUROCRYPT 2005, Springer-Verlag (LNCS 3494), pages 404-421, 2005.

Secure Computation Without Authentication

2005
B. Barak, R. Canetti, Y. Lindell, R. Pass and T. Rabin.

In the Journal of Cryptology, 24(4):720-760, 2011. An extended abstract appeared in CRYPTO 2005, Springer-Verlag (LNCS 3621), pages 361-377, 2005.