Anupam Datta

Anupam Datta is an Assistant Research Professor at Carnegie Mellon University where he has appointments in CyLab, Electrical & Computer Engineering, and (by courtesy) Computer Science Departments. He is currently based in the Carnegie Mellon Silicon Valley campus. His research focuses on the scientific foundations of security and privacy. Dr. Datta has authored a book, over 40 publications, and presented numerous seminars on programming language, logical, and algorithmic methods for privacy, software system security, and cryptographic protocol analysis and design. He serves on the Steering Committee of the IEEE Computer Security Foundations Symposium, and has served as Program and General Chair of several meetings on security foundations and on the program committees of top security and privacy conferences. He participates in the NSF TRUST center on security and the HHS SHARPS center on healthcare security and privacy. Dr. Datta obtained PhD and MS degrees from Stanford University and a BTech from IIT Kharagpur, all in Computer Science.

Education

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

Additional Resources

Research Areas

Privacy Protection

Trustworthy Computing Platforms and Devices

Cross Cutting Thrusts

Business Risk Analysis and Economic Implications

Cryptography

Formal Methods

Software Security

recent publications

A Logic of Secure Systems and its Application to Trusted ComputingA. Datta, J. Franklin, D. Garg, D. Kaynar, in Proceedings of 30th IEEE Symposium on Security and Privacy, May 2009.

ASPIER: An Automated Framework for Verifying Security Protocol ImplementationsS. Chaki, A. Datta, in Proceedings of 22nd IEEE Computer Security Foundations Symposium, July 2009.

Inductive Trace Properties for Computational Security,A. Roy, A. Datta, A. Derek, J. C. Mitchell, Journal of Computer Security, 2009

Attacking, Repairing and Verifying SecVisor: A Retrospective on the Security of a HypervisorJ. Franklin, A. Seshadri, N. Qu, S. Chaki, A. Datta, Technical Report CMU-Cylab-08-008, June 2008. (Download pdf)