Anupam Datta: Home page

Anupam Datta

Research Scientist
CyLab, CSD, ECE
Carnegie Mellon University

PhD 2005, MS 2002 (Computer Science, Stanford University)
BTech 2000 (Computer Science & Engineering, IIT Kharagpur)

CIC Bldg. Rm. 2118
Phone: (412)268-4254
Fax: (412)268-5531
danupam AT cmu.edu

I joined the research faculty at CMU in April, 2007. I am affiliated with the Security and the POP groups. An overview of my research program appears here.

Prior to joining CMU, I was a graduate student and postdoctoral research associate at Stanford, affiliated with the Security Lab and the Foundations Group.

Research

Areas:
- Computer & Network Security, Privacy, Cryptography.
- Programming Languages, Specification & Verification,
  Applications of Mathematical Logic in Computer Science.
Projects:
- Network Security: Protocol Composition Logic (PCL)
- Cryptographic Security Definitions and Analysis
- Foundations of Privacy
- Trustworthy Systems (ToSS)
Research Talks
Selected Publications
Funding

Teaching

Secure Software Systems (Fall 2008-09)
Foundations of Security and Privacy (Fall 2007-08)
Introduction to Programming Language Theory (Stanford, Winter 2006-07)

Students and Postdocs

Kumar Avijit (CSD PhD; joint with R. Harper)
Jason Franklin (CSD PhD; joint with A. Perrig)
Dilsun Kaynar (Postdoc)

Other

Steering Committee Member: IEEE Computer Security Foundations Symposium
General Chair: 2008 IEEE Computer Security Foundations Symposium
Program Co-chair: 2008 Formal and Computational Cryptography Workshop
TRUST Computer Security Curriculum Initiative (CSO article)
Program Committees: 2008 ACM Conference on Computer and Communications Security ... more>>
Math Genealogy, Erdös number: 3