Skip to Content

Theory

Overview

Located along the pacific in one of the most beautiful locations of the US, San Diego, UC San Diego provides nothing less than a perfect environment for theoretical work. The rich contribution of the group to the theory community is a witness to this fact. The group has a history of producing research works which form the foundation for many areas in theoretical computer science, like cryptography, combinatorics, computational complexity and graph theory. We work hard to continue providing fundamental contributions in all areas of the field. We are on a constant lookout for energetic researchers in the area to add new dimensions to research in the group. We have a very good interaction with the mathematics department of UCSD.

The theory group and those interested in theory topics meet once in a week for the Theory Seminar, currently scheduled on Monday at 2pm.

CSE Department Faculty

  • Mihir Bellare
    • Areas of interest include cryptography, computer and network security, e-commerce and computational complexity theory.
  • Fan Chung Graham (Joint appointment in CSE and Mathematics)
    • Her main research interests lie in spectral graph theory and extremal graph theory.  She has about 200 papers, in areas ranging from pure mathematics (e.g., differential geometry, number theory) to the applied (e.g., optimization, computational geometry, telecommunication and internet computing).
  • Ron Graham
    • Several mathematical areas were started by Ron's work, such as worst case analysis in scheduling theory, on-line algorithms and amortized analysis in the Graham's scan in Computational Geometry, and his favorite topics on Ramsey Theory, and the recent work on quasi-randomness.
  • Russell Impagliazzo
    • Areas of interest include proof complexity, the theory of cryptography, computational randomness, structural complexity, and trying to analyze optimization heuristics and other approaches to solving hard problems.
  • Daniele Micciancio
    • His research interests include complexity of lattice and coding problems and their applications to cryptography, Symbolic analysis of cryptographic protocols and other topics in cryptography (e.g., zero knowledge proofs, cryptographic primitives with special properties)
  • Ramamohan Paturi
    • His areas of interest include algorithms and complexity, circuit complexity, learning theory, neural networks, parallel and optical computing.
  • Sanjoy Dasgupta
    • He is interested in algorithmic statistics and unsupervised learning.
  • Victor Vianu
    • Areas of interest include theory of query languages and logic.

Professor Emeritus

  • Gill Williamson
    • He is a prolific author of texts in the field of combinatorics and the design and analysis of algorithms.
  • T.C. Hu
    • His reasearch interests include combinatorial algorithms, mathematical programming and operators research and computer aided design.

Faculty in Other Departments

Graduate Students (past)

Visiting Researchers (past)

Recent Alumni

2006

Jia Mao, 2006

Alan Nash, 2006

Recent Publications

Malleable Proof Systems and Applications, Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya, and Sarah Meiklejohn, Proceedings of Eurocrypt 2012, April 2012, Cambridge, UK, (2012).
Identity-Based (Lossy) Trapdoor Functions and Applications, Mihir Bellare, Eike Kiltz, Chris Peikert, and Brent Waters, Proceedings of Eurocrypt 2012, April 2012, Cambridge, UK, (2012). PDF
Universally Composable and Statistically Secure Verifiable Secret Sharing Scheme Based on Pre-Distributed Data, Rafael Dowsley, Jöorn Müller-Quade, Akira Otsuka, Goichiro Hanaoka, Hideki Imai, and Anderson C. A. Nascimento, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Volume E94-A, Number 2, p.725-34, (2011). PDF
Achieving Oblivious Transfer Capacity of Generalized Erasure Channel in the Malicious Model, Adriana C. B. Pinto, Rafael Dowsley, Kirill Morozov, and Anderson C. A. Nascimento, IEEE Transactions on Information Theory, Volume 57, Number 8, p.5566-71, (2011). PDF
The Geometry of Lattice Cryptography, Daniele Micciancio; Alessandro Aldini, and Roberto Gorrieri, eds., Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures, Volume 6858, p.185-210, (2011). Lecture Notes in Computer Science. URL
Pseudorandom Knapsacks and the Sample Complexity of LWE Search-to-Decision Reductions, Daniele Micciancio, and Petros Mol; Phillip Rogaway, eds., CRYPTO 2011 - Proceedings, Volume 6841, p.465-484, (2011). Lecture Notes in Computer Science. URL
Identity-Based Encryption Secure Against Selective Opening Attack, Mihir Bellare, Brent Waters, and Scott Yilek; Yuval Ishai, eds., Proceedings of TCC 2011, March, Providence, Rhode Island, (2011). LNCS.
Efficient Authentication from Hard Learning Problems, Eike Kiltz, Krzysztof Pietrzak, David Cash, Abhishek Jain, and Daniele Venturi; Kenny Paterson, eds., Proceedings of Eurocrypt 2011, May, Tallinn, Estonia, (2011). LNCS.