Papers by Topic


Topics: Note: there is a significant overlap between my papers on "Secure Protocol Composition" and my papers on "Secure Two-Party and Multi-Party Computation". I have placed these papers in only one of the categories, even though many of them belong in both.


Secure Two-Party and Multi-Party Computation
  1. Y. Lindell. Adaptively Secure Two-Party Computation with Erasures.
    In CT-RSA, Springer-Verlag (LNCS 5473), pages 117-132, 2009. Full version available.
    Abstract, PDF.
  2. Y. Lindell and H. Zarosim. Adaptive Zero-Knowledge Proofs and Adaptively Secure Oblivious Transfer. In the 6th TCC, Springer-Verlag (LNCS 5444), pages 183-201, 2009. Full version available.
    Abstract, PDF.
  3. Y. Lindell and B. Pinkas. Secure Multiparty Computation for Privacy-Preserving Data Mining. In the Journal of Privacy and Confidentiality, 1(1):59-98, 2009.
    Abstract, PDF.
  4. C. Hazay and Y. Lindell. Constructions of Truly Practical Secure Protocols using Standard Smartcards. In the 15th ACM Conference on Computer and Communications Security (ACM CCS), pages 491-500, 2008. Full version available.
    Abstract, PDF.
  5. Y. Lindell, B. Pinkas and N. Smart. Implementing Two-Party Computation Efficiently with Security Against Malicious Adversaries. In the 6th Conference on Security and Cryptography for Networks, Springer-Verlag (LNCS 5229), pages 2-20, 2008.
    Abstract, PDF.
  6. S.D. Gordon, C. Hazay, J. Katz and Y. Lindell. Complete Fairness in Secure Two-Party Computation. In the 40th STOC, pages 413-422, 2008. Full version available.
    Abstract, PDF.
  7. Y. Lindell. Efficient Fully-Simulatable Oblivious Transfer.
    In the Chicago Journal of Theoretical Computer Science, 2008. Preliminary version appeared in CT-RSA, Springer-Verlag (LNCS 4964), pages 52-70, 2008.
    Abstract, PDF.
  8. Y. Lindell. Legally Enforceable Fairness in Secure Two-Party Computation.
    In CT-RSA, Springer-Verlag (LNCS 4964), pages 121-137, 2008.
    Abstract, PDF.
  9. C. Hazay and Y. Lindell. Efficient Protocols for Set Intersection and Pattern Matching with Security Against Malicious and Covert Adversaries.
    In TCC 2008, Springer-Verlag (LNCS 4948) pages 155-175, 2008. To appear in the Journal of Cryptology. Full version available.
    Abstract, PDF.
  10. Y. Lindell and B. Pinkas. An Efficient Protocol for Secure Two-Party Computation in the Presence of Malicious Adversaries.
    In Eurocrypt 2007, Springer-Verlag (LNCS 4515), pages 52-78, 2007. Full version available.
    Abstract, PDF.
  11. Y. Aumann and Y. Lindell. Security Against Covert Adversaries: Efficient Protocols for Realistic Adversaries.
    To appear in the Journal of Cryptology. An extended abstract appeared in TCC 2007, Springer-Verlag (LNCS 4392), pages 137-156, 2007.
    Abstract, PDF.
  12. Y. Ishai, E. Kushilevitz, Y. Lindell and E. Petrank. On Combining Privacy with Guaranteed Output Delivery in Secure Multiparty Computation.
    In CRYPTO 2006, Springer-Verlag (LNCS 4117), pages 483-500, 2006.
    Abstract, Postscript, gzipped Postscript.
    The full version of this paper has been combined with a paper by Jonathan Katz, and appears as follows:
    Y. Ishai, J. Katz, E. Kushilevitz, Y. Lindell and E. Petrank. On Achieving the "Best of Both Worlds" in Secure Multiparty Computation.
    Abstract, PDF.
  13. Y. Ishai, E. Kushilevitz, Y. Lindell and E. Petrank. Black-Box Constructions for Secure Multiparty Computation.
    In the 38th STOC, pages 99-108, 2006.
    Abstract, Postscript, gzipped Postscript.
  14. B. Barak, R. Canetti, Y. Lindell, R. Pass and T. Rabin. Secure Computation Without Authentication.
    In CRYPTO 2005, Springer-Verlag (LNCS 3621), pages 361-377, 2005. Full version available.
    Abstract, Conference version: Postscript, gzipped Postscript, Full version: PDF.
  15. Y. Lindell and B. Pinkas. A Proof of Security of Yao's Protocol for Two-Party Computation.
    In the Journal of Cryptology, 22(2):161-188, 2009.
    Abstract, Postscript, gzipped Postscript.
  16. S. Goldwasser and Y. Lindell. Secure Computation Without Agreement.
    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.
    Abstract, Postscript, gzipped Postscript.
  17. Y. Lindell. Parallel Coin-Tossing and Constant-Round Secure Two-Party Computation.
    In the Journal of Cryptology, 16(3):143-184, 2003.
    An extended abstract appeared in Crypto 2001, Springer-Verlag (LNCS 2139), pages 171-189, 2001.
    Abstract, Postscript, gzipped Postscript.
  18. Y. Lindell and B. Pinkas. Privacy Preserving Data Mining.
    In the Journal of Cryptology, 15(3):177-206, 2002.
    An extended abstract appeared in Crypto 2000, Springer-Verlag (LNCS 1880), pages 36-54, 2000.
    Abstract, Postscript, gzipped Postscript.

Secure Protocol Composition
  1. E. Kushilevitz, Y. Lindell and T. Rabin. Information-Theoretically Secure Protocols and Security Under Composition.
    In the 38th STOC, pages 109-18, 2006. To appear in SICOMP.
    Abstract, PDF.
  2. Y.T. Kalai, Y. Lindell and M. Prabhakaran. Concurrent Composition of Secure Protocols in the Timing Model.
    In the Journal of Cryptology, 20(4):431-492, 2007.
    An extended abstract appeared in the 37th STOC, pages 644-653, 2005.
    Abstract, Postscript, gzipped Postscript.
  3. B. Barak, Y. Lindell and T. Rabin. Protocol Initialization for the Framework of Universal Composability.
    Abstract, Postscript, gzipped Postscript.
  4. Y. Lindell. Lower Bounds and Impossibility Results for Concurrent Self Composition.
    In the Journal of Cryptology, 21(2):200-249, 2008.
    This version combines the results of the paper Lower Bounds for Concurrent Self Composition at TCC 2004 together with the lower bound from the paper Bounded-Concurrent Secure Two-Party Computation Without Setup Assumptions at STOC 2003.
    Abstract, Postscript, gzipped Postscript.
  5. Y. Lindell. Lower Bounds for Concurrent Self Composition.
    In the 1st Annual Theory of Cryptography Conference (TCC), Springer-Verlag (LNCS 2951), pages 203-222, 2004.
    See above for the full version of this paper.
    Abstract, Postscript, gzipped Postscript.
  6. Y. Lindell. Composition of Secure Multi-Party Protocols - A Comprehensive Study.
    Lecture Notes in Computer Science, Volume 2815, Springer-Verlag, 2003.
    Go here for details.
  7. Y. Lindell. General Composition and Universal Composability in Secure Multi-Party Computation.
    In the Journal of Cryptology, 22(3):395-428, 2009.
    An extended abstract appeared in the 44th FOCS, pages 394-403, 2003.
    Abstract, Postscript, gzipped Postscript.
  8. Y. Lindell. Brief Announcement: Impossibility Results for Concurrent Secure Two-Party Computation.
    In 22nd PODC, page 200, 2003.
    Postscript, gzipped Postscript.
  9. Y. Lindell. Bounded-Concurrent Secure Two-Party Computation Without Setup Assumptions.
    In 35th STOC, pages 683-692, 2003.
    Abstract, Postscript, gzipped Postscript.
    The full version of the upper bound from this paper appears in the Chicago Journal of Theoretical Computer Science, 2006(1):1-50, 2006.
    Abstract, Postscript, gzipped Postscript.
  10. R. Canetti, E. Kushilevitz and Y. Lindell. On the Limitations of Universally Composable Two-Party Computation Without Set-Up Assumptions.
    In the Journal of Cryptology, 19(2):135-167, 2006.
    An extended abstract appeared in Eurocrypt 2003, Springer-Verlag (LNCS 2656), pages 68-86, 2003.
    Abstract, Postscript, gzipped Postscript.
  11. R. Canetti, Y. Lindell, R. Ostrovsky and A. Sahai. Universally Composable Two-Party and Multi-Party Secure Computation.
    In 34th STOC, pages 494-503, 2002. Full version available.
    Abstract, Postscript, gzipped Postscript.
  12. Y. Lindell, A. Lysyanskaya and T. Rabin. On the Composition of Authenticated Byzantine Agreement.
    To appear in the Journal of the ACM, 2006.
    An extended abstract appear in the 34th STOC, pages 514-523, 2002.
    Abstract, Postscript, gzipped Postscript.

Zero Knowledge
  1. B. Barak, Y. Lindell and S. Vadhan. Lower Bounds for Non-Black-Box Zero-Knowledge.
    In the Journal of Computer and System Sciences, 72(2):321-391, 2006 (JCSS FOCS 2003 Special Issue).
    An extended abstract appear in the 44th FOCS, pages 384-393, 2003.
    Abstract, Postscript, gzipped Postscript.
  2. Y. Lindell and B. Barak. Strict Polynomial-Time in Simulation and Extraction.
    In the SIAM Journal on Computing, 33(4):783-818, 2004.
    An extended abstract appeared in the 34th STOC, pages 484-493, 2002.
    Abstract, Postscript, gzipped Postscript.
  3. B. Barak, O. Goldreich, S. Goldwasser and Y. Lindell. Resettably-Sound Zero-Knowledge and its Applications.
    In 42nd FOCS, pages 116-125, 2001. Preliminary full version available.
    Abstract, Postscript, gzipped Postscript.

Password Protocols
  1. R. Canetti, S. Halevi, J. Katz, Y. Lindell and P. Mackenzie. Universally Composable Password-Based Key Exchange.
    In Eurocrypt 2005, Springer-Verlag (LNCS 3494), pages 404-421, 2005.
    Abstract, Postscript, gzipped Postscript.
  2. R. Gennaro and Y. Lindell. A Framework for Password-Based Authenticated Key Exchange.
    In the ACM Transactions on Information and System Security (TISSEC), 9(2):181-234, 2006.
    An extended abstract appeared in Eurocrypt 2003, Springer-Verlag (LNCS 2656), pages 524-543, 2003. (Note: the conference version of this paper contains a serious flaw that is corrected in the final version.)
    Abstract, Postscript, gzipped Postscript.
  3. O. Goldreich and Y. Lindell. Session-Key Generation using Human Passwords Only.
    In the Journal of Cryptology, 19(3):241-340, 2006.
    An extended abstract appeared in Crypto 2001, Springer-Verlag (LNCS 2139), pages 408-432, 2001.
    Abstract, Postscript, gzipped Postscript.

Game Theory and Cryptography
  1. G. Asharov and Y. Lindell. Utility Dependence in Correct and Fair Rational Secret Sharing. In CRYPTO 2009, Springer-Verlag (LNCS 5677), pages 559-576, 2009. Full version available.
    Abstract, PDF.
  2. J. Alwen, J. Katz, Y. Lindell, G. Persiano, A. Shelat and I. Visconti. Collusion-Free Multiparty Computation in the Mediated Model. In CRYPTO 2009, Springer-Verlag (LNCS 5677), pages 524-540, 2009.
    Abstract, PDF.

Byzantine Agreement
  1. Y. Lindell, A. Lysyanskaya and T. Rabin. On the Composition of Authenticated Byzantine Agreement.
    To appear in the Journal of the ACM, 2006.
    An extended abstract appear in the 34th STOC, pages 514-523, 2002.
    Abstract, Postscript, gzipped Postscript.
  2. Y. Lindell, A. Lysyanskaya and T. Rabin. Sequential Composition of Protocols Without Simultaneous Termination.
    In 21st PODC, pages 203-212, 2002.
    Abstract, Postscript, gzipped Postscript.

Miscellaneous
  1. Y. Lindell. Comparison-Based Key Exchange and the Security of the Numeric Comparison Mode in Bluetooth v2.1.
    In CT-RSA, Springer-Verlag (LNCS 5473), pages 66-83, 2009. Full version available.
    Abstract, PDF.
  2. J. Katz and Y. Lindell. Aggregate Message Authentication Codes.
    In CT-RSA, Springer-Verlag (LNCS 4964), pages 155-169, 2008.
    Abstract, PDF.
  3. C. Hazay, J. Katz, C.Y. Koo and Y. Lindell. Concurrently-Secure Blind Signatures without Random Oracles or Setup Assumptions.
    In TCC 2007, Springer-Verlag (LNCS 4392), pages 323-341, 2007.
    Abstract, Postscript, gzipped Postscript.
  4. J. Katz and Y. Lindell. Handling Expected Polynomial-Time Strategies in Simulation-Based Security Proofs.
    To appear in the Journal of Cryptology.
    An extended abstract appeared in the 2nd Annual Theory of Cryptography Conference (TCC), Springer-Verlag (LNCS 3378), pages 128-149, 2005.
    Abstract, Postscript, gzipped Postscript.
  5. Y. Lindell. A Simpler Construction of CCA2-Secure Public-Key Encryption Under General Assumptions.
    In the Journal of Cryptology, 19(3):359-377, 2006.
    An extended abstract appeared in Eurocrypt 2003, Springer-Verlag (LNCS 2656), pages 241-254, 2003.
    Abstract, Postscript, gzipped Postscript.

Data Mining
  1. Y. Aumann and Y. Lindell. A Statistical Theory for Quantitative Association Rules.
    In the Journal of Intelligent Information Systems, 20(3):255-283, 2003.
    An extended abstract appeared in KDD, 1999.

    2. Abstract, Postscript, gzipped Postscript.
  2. D. Landau, R. Feldman, Y. Aumann, M. Fresko, Y. Lindell, O. Lipshtat and O. Zamir, TextVis: An Integrated Visual Environment for Text Mining, The 2nd European Symposium on Principles of Data Mining and Knowledge Discovery - Proceedings (PKDD98), Springer-Verlag (LNCS 1510), pages 56-64, 1998.
  3. R. Feldman, M. Fresko, Y. Kinar, Y. Lindell, O. Lipshtat, M. Rajman, Y. Schler and O. Zamir, Text Mining at the Term Level, The 2nd European Symposium on Principles of Data Mining and Knowledge Discovery - Proceedings (PKDD98), Springer-Verlag (LNCS 1510), pages 65-73,Springer-Verlag, 1998.

Please read the copyright notice.


Back Home