Anupam Datta Research Scientist CyLab, CSD, ECE Carnegie Mellon University PhD 2005, MS 2002 (Computer Science, Stanford University) BTech 2000 (Computer Science & Engineering, IIT Kharagpur)

CIC Bldg. Rm. 2118 Phone: (412)268-4254 Fax: (412)268-5531 danupam AT cmu.edu

---

I joined the research faculty at CMU in April, 2007. I am affiliated with the Security and the POP groups. An overview of my research program appears here.

Prior to joining CMU, I was a graduate student and postdoctoral research associate at Stanford, affiliated with the Security Lab and the Foundations Group.

Teaching Secure Software Systems (Fall 2008-09) Foundations of Security and Privacy (Fall 2007-08) Introduction to Programming Language Theory (Stanford, Winter 2006-07) Research Areas: Computer & Network Security, Privacy, Cryptography. Programming Languages, Specification & Verification, Applications of Mathematical Logic in Computer Science. Projects: Network Security: Protocol Composition Logic (PCL) Cryptographic Security Definitions and Analysis Foundations of Privacy Trustworthy Systems (ToSS) Research Talks Funding Selected Publications... more>> Protocol Composition Logic (PCL), ENTCS 2007 Privacy and Utility in Business Processes, CSF 2007 Privacy and Contextual Integrity: Framework and Applications, S & P 2006 Games and the Impossibility of Realizable Ideal Functionality, TCC 2006 Probabilistic Polynomial-time Semantics for a Protocol Security Logic, ICALP 2005 A Derivation System and Compositional Logic for Security Protocols, JCS 2005

Students and Postdocs Kumar Avijit (CSD PhD) Jason Franklin (CSD PhD) Arunesh Sinha (ECE PhD) Dilsun Kaynar (Postdoc) Other CMU student collaborators (not thesis advisor) · Henry DeYoung (CSD PhD) · Deepak Garg (CSD PhD) · Michael Tschantz (CSD PhD) Professional Activities Steering Committee Member: IEEE Computer Security Foundations Symposium General Chair: 2008 IEEE Computer Security Foundations Symposium Program Co-chair: 2008 Formal and Computational Cryptography Workshop Program Chair: 2009 ASIAN Computing Conference Workshop Chair: 2009 International Conference on Trust Management The Logic of Privacy, in The Economist, January 2007. [ Article ] [ Economist link ] Math Genealogy, Erdös number: 3 Program Committees: ... more>> 2009 IEEE Computer Security Foundations Symposium 2008 ACM Conference on Computer and Communications Security 2007 IEEE Symposium on Security and Privacy

---