research Area

Privacy Protection

Cross Cutting Thrusts

Business Risk Analysis and Economic Implications

Cryptography

Formal Methods

Software Security

Current Projects:

Security and Privacy Risk Management in Organizations

On Privacy and Compliance

Principled Approach to Web Security

recent publications

A Logic of Secure Systems and its Application to Trusted Computing, A. 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 Implementations, S. 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 Hypervisor, J. Franklin, A. Seshadri, N. Qu, S. Chaki, A. Datta, Technical Report CMU-Cylab-08-008, June 2008. (Download pdf)

Anupam Datta

Anupam Datta is a Research Scientist for Cylab . He joined the research faculty at Carnegie Mellon in April 2007. He is affiliated with the Security and the POP groups.  Special areas of interest include: applications of logic (including formal semantics and type theory); techniques for designing and implementing programming languages; formal specification and verification of hardware and software systems.

Education

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

[email]