• Home
• About
• People
• News
• Events
• Research
• Areas
• Publications
• By Author
• Student Theses
• Tech Reports
• Themes
• Topics and Projects
• Courses
• Graduate Study
• Undergraduate Study
• Places
• Computing Systems
• Industrial Relations
• Alumni
• Contacts

Anna Lysyanskaya's Publications

Belenkiy, M., Chase, M., Erway, C. C., Jannotti, J., Küpçü, A., Lysyanskaya, A., and Rachlin, E. Making P2P Accountable without Losing Privacy. ACM Workshop On Privacy In The Electronic Society, ACM, pp. 31-40. Peer-to-peer systems have been proposed for a wide variety of applications, including file-sharing, web caching, distributed computation, cooperative backup, and onion routing. An important motivation for such systems is self-scaling. That is, increased participation increases the capacity of the system. Unfortunately, this property is at risk from selfish participants. The decentralized nature of peer-to-peer systems makes accounting difficult. We show that e-cash can be a practical solution to the desire for accountability in peer-to-peer systems while maintaining their ability to self-scale. No less important, e-cash is a natural fit for peer-to-peer systems that attempt to provide (or preserve) privacy for their participants. We show that e-cash can be used to provide accountability without compromising the existing privacy goals of a peer-to-peer system. We show how e-cash can be practically applied to a file sharing application. Our approach includes a set of novel cryptographic protocols that mitigate the computational and communication costs of anonymous e-cash transactions, and system design choices that further reduce overhead and distribute load. We conclude that provably secure, anonymous, and scalable peer-to-peer systems are within reach. [ pdf ]

2007

Camenisch, J., Lysyanskaya, A., and Meyerovich, M. Endorsed E-cash. B. Pfitzmann and P. McDaniel, Eds., 2007 IEEE Symposium on Security and Privacy, IEE Computer Society, pp. 101-115.

Chase, M., Erway, C., Jannotti, J., Kupcu, A., Lysyanskaya, A., Meyerovich, M., and Rachkin, E. Making P2P Accountable without Losing Privacy. Workshop on Privacy in the Electronic Society (WPES 2007).

Chase, M., and Lysyanskaya, A. Simulatable VRFs with Applications to Multi-theorem NIZK. Springer 4622 (2007), 303-322.

2006

Camenisch, J., Hohenberger, S., and Lysyanskaya, A. Balancing accountability and privacy using e-cash. In Proceedings of the Conference on Security and Cryptography for Networks (2006). [ pdf ]

Camenisch, J., Hohenberger, S., Kohlweiss, M., Lysyanskaya, A., and Meyerovich, M. How to win the clone wars: Efficient periodic n-times anonymous authentication. In 13th ACM Conference on Computer and Communicatons Security (2006), R. Wright, Ed., ACM, pp. 201-210. [ pdf ]

Chase, M., and Lysyanskaya, A. On signatures of knowledge. In Proceedings of the 26th Annual Cryptology Conference (CRYPTO) (2006), C. Dwork, Ed., pp. 76-94. [ pdf ]

Lysyanskaya, A., and Meyerovich, M. Provably secure steganography with imperfect sampling. In Proceedings of the International Conference on Theory and Practice of Public-Key Cryptography (PKC 2006) (2006), M. Yung, Y. Dodis, A. Kiayias, and T. Malkin, Eds., pp. 123-139. [ pdf ]

Lysyanskaya, A., and Triandopoulos, N. Rationality and adversarial behavior in multi-party computation. In Proceedings of the 26th Annual International Cryptology Conference (CRYPTO) (2006), C. Dwork, Ed., pp. 177-195. [ pdf ]

2005

Camenisch, J., Hohenberger, S., and Lysyanskaya, A. Compact e-cash. In Proceedings of the 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques (Eurocrypt 2005) (2005), R. Cramer, Ed., Springer, pp. 302-321. [ pdf ]

Camenisch, J., and Lysyanskaya, A. A formal treatment of onion routing. In Advances in Cryptology, Proceedings of the 25th International Cryptology Conference (Crypto 2005) (2005), V. Shoup, Ed., Springer, pp. 169-187. [ pdf ]

Chase, M., Healy, A., Lysyanskaya, A., Malkin, T., and Reyzin, L. Mercurial commitments with applications to zero-knowledge set s. In Advances in Cryptology, Proceedings of the 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques (Eurocrypt 2005) (2005), R. Cramer, Ed., Springer, pp. 422-439. [ pdf ]

Hohenberger, S., and Lysyanskaya, A. How to securely outsource cryptographic computations. In Proceedings of the 2nd Theory for Cryptography Conferece (TCC 2005) (Cambridge, MA, Feb 2005), J. Kilian, Ed., Springer, pp. 264-282. [ pdf ]

2004

Camenisch, J., and Lysyanskaya, A. Signature schemes and anonymous credentials from bilinear maps. In Advances in Cryptology, Proceedings of the 24th International Cryptology Conference (Crypto 2004) (2004), Springer, p. 56–72. [ pdf ]

Gennaro, R., Lysyanskaya, A., Malkin, T., Micali, S., and Rabin, T. Algorithmic tamper-proof (ATP) security: Theoretical foundations for security against hardware tampering. In Proceedings of the First Theory of Crypotgraphy Conference (TCC 2004) (2004), M. Naor, Ed., Springer, pp. 258-277. [ pdf ]

Lysyanskaya, A., Tamassia, R., and Triandopoulos, N. Multicast authentication in fully adversarial networks. In Proceedings of the IEEE Symposium on Security and Privacy (2004), D. Wagner and M. Waidner, Eds., IEEE Computer Society, pp. 241-258. [ pdf ]

Lysyanskaya, A., Micali, S., Reyzin, L., and Shacham, H. Sequential aggregate signatures from trapdoor permutations. In Advances in Cryptology, Proceedings of the International Conference on the Theory and Applications of Cryptographic Techniques (Eurocrypt 2004) (2004), C. Cachin and J. Camenisch, Eds., Springer, pp. 74-90. [ pdf ]

Yao, D., Fazio, N., Dodis, Y., and Lysyanskaya, A. ID-based encryption for complex hierarchies with applications to forward security and broadcast encryption. In Proceedings of the 11th ACM Conference on Computer and Communications Security (2004), pp. 354-363. [ pdf ]

2002

Lindell, Y., Lysyanskaya, A., and Rabin, T. On the composition of authenticated Byzantine agreement. In Proceedings of the Thirty-Fourth Annual ACM Symposium on Theory of Computing (STOC) (May 2002), pp. 514-523. [ pdf ]

Cachin, C., Kursawe, K., Lysyanskaya, A., and Strobl, R. Asynchronous verifiable secret sharing and proactive cryptosystems. In Proceedings of the Ninth ACM Conference on Computer and Communications Security (Nov 2002), pp. 88-97. [ pdf ]

Camenisch, J., and Lysyanskaya, A. Dynamic accumulators and application to efficient revocation of anonymous credentials. In Advances in Cryptology, Proceedings of the 22nd Annual International Cryptology Conference (Crypto 2002) (Aug 2002), M. Yung, Ed., Springer, pp. 61-76. [ pdf ]

Camenisch, J., and Lysyanskaya, A. A Signature scheme for efficient protocols. In Proceedings of Third Conference on Security in Communication Networks (Sep 2002), Springer, pp. 274-295. [ pdf ]

Lindell, Y., Lysyanskaya, A., and Rabin, T. Sequential composition of protocols without simultaneous termination. In Proceedings of the Twenty-First ACM Symposium on Principles of Distributed Computation (PODC) (Jul 2002), pp. 203-213. [ pdf ]

Lysyanskaya, A. Unique signatures and verifiable random functions from the DH-DDH separation. In Advances in Cryptology, Proceedings of the 22nd Annual International Cryptology Conference (Crypto 2002) (Aug 2002), M. Yung, Ed., Springer, pp. 597-612. [ pdf ]

2001

Camenisch, J., and Lysyanskaya, A. Efficient non-transferable anonymous multi-show credential system with optional anonymity revocation. In Advances in Cryptology, Proceedings of the International Conference on the Theory and Application of Cryptographic Techniques (Eurocrypt 2001) (2001), B. Pfitzmann, Ed., Springer, pp. 93-118. [ pdf ]

Camenisch, J., and Lysyanskaya, A. An identity escrow scheme with appointed verifers. In Advances in Cryptology, Proceedings of the 21st Annual International Cryptology Conference (Crypto 2001) (2001), J. Kilian, Ed., Springer, pp. 388-407. [ pdf ]

Liskov, M., Lysyanskaya, A., Micali, S., Reyzin, L., and Smith, A. Mutually independent commitments. In Advances in Cryptology, Proceedings of the 7th International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT 2001) (2001), C. Boyd, Ed., Springer, pp. 385-401. [ pdf ]

Lysyanskaya, A., and Peikert, C. Adaptive security in threshold setting: From cryptosystems to signature schemes. In Advances in Cryptology, Proceedings of the 7th International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT 2001) (2001), C. Boyd, Ed., Springer, pp. 331-350. [ pdf ]

2000

Jarecki, S., and Lysyanskaya, A. Adaptively secure threshold cryptography: Introducing concurrency, removing erasures. In Advances in Cryptology, Proceedings of the International Conference on the Theory and Application of Cryptographic Techniques (Eurocrypt 2000) (2000), B. Preneel, Ed., Springer, pp. 190-206. [ pdf ]

1999

Lysyanskaya, A., Rivest, R., Sahai, A., and Wolf, S. Pseudonym systems. In Proceedings of the 6th Annual International Workshop on Selected Areas of Cryptography (SAC 99) (1999), H. Heys and C. Adams, Eds., Sprigner, pp. 184-199. [ pdf ]

1998

Lysyanskaya, A., and Ramsan, Z. Group blind digital signatures: A scalable solution to electronic cash. In Proceedings of the Second International Conference on Financial Cryptography (1998), R. Hirshfeld, Ed., Springer, pp. 184-197. [ pdf ]