Trusted Computing
Protecting Privacy and Confidentiality of Information
Current Projects:
J. Franklin, A. Seshadri, N. Qu, S. Chaki, A. Datta, Attacking, Repairing and Verifying SecVisor: A Retrospective on the Security of a Hypervisor, Technical Report CMU-Cylab-08-008, June 2008. [ Paper ]
D. Garg, J. Franklin, D. Kaynar, A. Datta, Towards a Theory of Secure Systems, Technical Report CMU-Cylab-08-003, February 2008. [ Paper ]
S. Chaki, A. Datta, Automated Verification of Security Protocol Implementations, Technical Report CMU-Cylab-08-002, January 2008. [ Paper ]
C. He, M. Sundararajan, A. Datta, A. Derek, J. C. Mitchell, A Modular Correctness Proof of TLS and IEEE 802.11i, Invited to appear, ACM Transactions on Information and System Security, 2006.
[email]
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.
PhD 2005.Computer Science, Stanford University
MS 2002. Computer Science, Stanford University
BTech 2000. Computer Science & Engineering, IIT Kharagpur