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 IEEE Computer Security Foundations Symposium

Publications [DBLP] & Talks

Research Thrusts

• Privacy, Audit and Accountability (Formalizing and Enforcing Privacy) [Overview Paper and Video Lecture]
  • Audit Games
  • Formalizing and Enforcing Purpose Restrictions (Application: Healthcare privacy)
  • Policy Auditing over Incomplete Logs (Application: Healthcare privacy, in particular, the HIPAA Privacy Rule)
  • Privacy and Contextual Integrity
• Compositional Security (Modularity in Security)
  • Naturally Rehearsing Passwords (Composing Programs and People)
  • Compositional System Security with Interface-Confined Adversaries (Applications: Trusted computing systems, extensible hypervisors, network protocols)
  • Protocol Composition Logic(PCL) (Applications: Industrial authentication and key exchange protocols)
  • Program Equivalence, Games and Universal Composability

Research Group

PhD Students: Jeremiah Blocki (CSD), Amit Datta (ECE), Divya Sharma (ECE), Shayak Sen (CSD), Arunesh Sinha (ECE)

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 UC Berkeley), Dilsun Kaynar (Postdoc 2007-12; Assistant Teaching Professor CMU CSD)

Teaching

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

Professional Activities

• Steering Committee Member: IEEE Computer Security Foundations Symposium
• New Frontiers Area Co-chair: 2012 NSF Workshop on Future of Formal Methods
• Program Co-chair: 2011 Workshop on Formal Aspects of Security and Trust
• 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>>
  • 2013 ACM Conference on Computer and Communications Security
  • 2013 Computer Aided Verification Conference
  • 2013 IEEE Computer Security Foundations Symposium
  • 2013 IEEE Symposium on Security and Privacy
  • 2012 Usenix Security Symposium
  • 2012 IEEE Computer Security Foundations Symposium
  • 2012 IEEE Symposium on Security and Privacy
  • 2012 European Symposium on Research in Computer Security
  • 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

CIC Bldg. Room 2118
Pittsburgh, PA 15213
Phone: 412-268-4254, Email: danupam AT cmu.edu