Anupam Datta Assistant Research Professor, CyLab, ECE, and (by courtesy) CSD Carnegie Mellon University PhD 2005, MS 2002 (Computer Science, Stanford University)  BTech 2000 (Computer Science & Engineering, IIT Kharagpur)

My research focuses on foundations of security and privacy. I belong to the Security group and am also affiliated with the Principles of Programming group. I participate in the TRUST and SHARPS centers and several Science of Security initiatives.

Program Co-Chair: 2013-14 IEEE Computer Security Foundations Symposium

Publications [DBLP] & Talks

Research Thrusts

• Privacy, Audit and Accountability (Formalizing and Enforcing Privacy) [Overview Paper and Video Lecture]
  • Highlights: Formalizing privacy as a right to appropriate flows of personal information [1,2] (not simply confidentiality or control) and as a right to use of personal information for appropriate purposes [3]. Principled audit & accountability mechanisms for enforcing privacy properties, recognizing that traditional preventive access control and information flow control mechanisms are inadequate for enforcing practical privacy policies [3,4,5,6,7]. Applications to several US privacy laws, including the first complete logical specification and audit of all disclosure-related clauses of the HIPAA Privacy Rule [2,4] (see also our work on healthcare privacy at TRUST and SHARPS).
• Trustworthy Systems (Trustworthy Computing despite Adversaries)
• Analysis of Cryptographic Protocols (Programming Languages meets Cryptography)
  • Protocol Composition Logic(PCL) [Overview]
  • Program Equivalence, Games and Universal Composability

Research Group

PhD Students: Jeremiah Blocki (CSD), Divya Sharma (ECE), Arunesh Sinha (ECE)

Postdocs: Dilsun Kaynar, Michael Tschantz

Alumni: Kumar Avijit (CSD MS 2010; Oracle), Deepak Garg (Postdoc 2009-11; Assistant Professor MPI-SWS), Limin Jia (Postdoc 2009-11; System Scientist CMU CyLab), Jason Franklin (CSD PhD 2012; Research Associate Stanford CS), Michael Tschantz (CSD PhD 2012; Postdoctoral Fellow CMU CyLab)

Teaching

• Foundations of Security and Privacy (Earlier offerings: Fall 2009, Fall 2007)
• Secure Software Systems (Fall 2010, Fall 2008)
• Introduction to Programming Language Theory (Stanford, Winter 2007)

Professional Activities

• Steering Committee Member: IEEE Computer Security Foundations Symposium
• Program Co-chair: 2011 Workshop on Formal Aspects of Security and Trust
• Program Chair: 2009 ASIAN Computing Conference
• Workshop Chair: 2009 International Conference on Trust Management
• General Chair: 2008 IEEE Computer Security Foundations Symposium
• Program Co-chair: 2008 Formal and Computational Cryptography Workshop
• The Logic of Privacy, in The Economist, January 2007. [ Article ] [ Economist link ]
• Math Genealogy, Erdös number: 3
• Program Committees:  ... more>>
  • 2012 Usenix Security Symposium
  • 2012 IEEE Computer Security Foundations Symposium
  • 2012 IEEE Symposium on Security and Privacy
  • 2011 ACM Conference on Computer and Communications Security
  • 2011 IEEE Symposium on Security and Privacy
  • 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
  • 2007 IEEE Symposium on Security and Privacy

Contact

NASA Research Park, Bldg. 23 (MS 23-11), P.O. Box 1
Moffet Field, CA 94035-0001   
Phone: (650)335-2884, Email: danupam AT cmu.edu