|
|
Anupam DattaResearch Scientist PhD 2005, MS 2002 (Computer Science, |
|
I joined the research faculty
at CMU in April, 2007. I belong to the Security
group and am also affiliated with the Principles of Programming
group. My research focuses on foundations of information security and privacy,
and draws on methods from a broad range of fields including logic, programming
languages, verification, cryptography, and game theory. Specific research
topics include cryptographic protocols, privacy, and trustworthy systems.
Recent panels/talks on active
projects and research directions:
- Toward
Semantic Security Properties of Software, Panel on Rigorous Security
Analysis of Software at IEEE Computer Security Foundations Symposium, July 2009
- Protocol
Composition Logic: Computational Semantics and Inductive Proofs, Computational
and Symbolic Proofs of Security Workshop, April 2009
- Foundations of Privacy: Contextual Integrity,
The Logic of Privacy and Beyond, NYU Computer Science Colloquium, February
2009
- Is
there a Science of Security, and if so, what might it look like? Panel at
the NSF/IARPA/NSA Workshop on the Science of Security, November 2008
Research
.
- Publications
- Research Themes:
- Security Analysis of Network Protocols
- Foundations of Privacy
- Trustworthy Systems
Teaching
- Foundations
of Security and Privacy (Fall 2009)
- Secure
Software Systems (Fall 2008)
- Foundations of Security
and Privacy (Fall 2007)
- Introduction
to Programming Language Theory (Stanford, Winter 2007)
Students and Postdoctoral Researchers
- Kumar
Avijit (CSD PhD, co-advised with Robert
Harper)
- Jeremiah Blocki
(CSD PhD, co-advised with Manuel
Blum)
- Jason
Franklin (CSD PhD)
- Divya Sharma (ECE PhD)
- Arunesh Sinha (ECE
PhD)
- Michael
Tschantz (CSD PhD, co-advised with Jeannette Wing)
- Deepak Garg
(Postdoctoral Researcher)
- Limin
Jia (Postdoctoral Researcher)
- Dilsun
Kaynar (Postdoctoral Researcher)
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>>
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