 |
Anna Lysyanskaya
Assistant Professor of Computer ScienceContact Information
Box 1910Brown University
Providence, RI 02912
Email: anna at cs.brown.edu
Personal home page: http://www.cs.brown.edu/~anna/
Research Areas
| Cryptography |
| Security |
| Theory of Computation |
Courses Taught
| CSCI1510 | Introduction to Cryptography and Computer Security | |
| CSCI0220 | Introduction to Discrete Structures and Probability |
Research Interests
Anna Lysyanskaya’s primary research area is cryptography, the study of protecting communication and computation against malicious users. The fundamental problems in this area are secure communication, authentication of data, pseudorandomness, and secure multi-party computation.
Prof. Lysyanskaya wrote her Ph.D. thesis on digital signature schemes and their applications in protocols. Her thesis explores the uses of digital signature schemes in cryptographic protocols, as well as proposes several signature schemes especially suitable for use in protocols.
Cryptography in general, and signature schemes in particular, depends on computational assumptions. A proof that a scheme is unbreakable amounts to showing that solving a certain computational problem is infeasible in any reasonable time. Unconditional proofs of infeasibility of problems relevant to cryptography are not known, and they would imply that P is different from NP. Therefore, in cryptography we have to settle for assumptions that certain tasks are infeasible.
Prof. Lysyanskaya is interested in such issues as efficient and provably secure cryptographic protocols, minimal complexity assumptions for achieving security in various settings, and secure distributed computation.
Selected Publications
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 ]
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 ]
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 ]
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 ]
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 ]
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 ]
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 ]
All publications by Anna Lysyanskaya
| Page Owner: Anna Lysyanskaya | Last Modified: Tue Sep 16 14:30:41 2008 |