http://www.cylab.cmu.edu/images/faculty/Datta.jpg

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 belong to the Security group and am also affiliated with the Principles of Programming group. My research focuses on foundations of information security and privacy, and draws on methods from a broad range of fields including logic, programming languages, verification, cryptography, and game theory. Specific research topics include cryptographic protocols, privacy, and trustworthy systems.

 

Recent panels/talks on active projects and research directions:

 

  • Toward Semantic Security Properties of Software, Panel on Rigorous Security Analysis of Software at IEEE Computer Security Foundations Symposium, July 2009
  • Protocol Composition Logic: Computational Semantics and Inductive Proofs, Computational and Symbolic Proofs of Security Workshop, April 2009
  • Foundations of Privacy: Contextual Integrity, The Logic of Privacy and Beyond, NYU Computer Science Colloquium, February 2009
  • Is there a Science of Security, and if so, what might it look like? Panel at the NSF/IARPA/NSA Workshop on the Science of Security, November 2008

 


Research

.

 

 


Teaching

 


Students and Postdoctoral Researchers

 

 

 


Professional Activities

 

2010 IEEE Symposium on Security and Privacy

2009 European Symposium on Research in Computer Security

2009 IEEE Computer Security Foundations Symposium

2008 ACM Conference on Computer and Communications Security

2008 IEEE Computer Security Foundations Symposium