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. An overarching theme of my research is to develop theoretically well-founded solutions to problems of practical importance. 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 the 2011 AFOSR Science of Security MURI.

Publications [DBLP] & Talks

Research Thrusts

• Foundations of Privacy [Overview] (Formalizing and Enforcing Privacy)
  • 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 [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), Jason Franklin (CSD), Divya Sharma (ECE), Arunesh Sinha (ECE), Michael Tschantz (CSD)

Postdocs & System Scientists: Limin Jia, Dilsun Kaynar

Alumni: Kumar Avijit (CSD MS 2010; Oracle), Deepak Garg (Postdoc 2009-11; Assistant Professor MPI-SWS)

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