|
|
Anupam DattaResearch Scientist PhD 2005, MS 2002 (Computer Science, |
|
I joined the research faculty
at CMU in April, 2007. I am affiliated with the Security and the POP groups. 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.
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)
- Jason
Franklin (CSD PhD, co-advised with Adrian Perrig)
- Arunesh Sinha (ECE PhD)
- Deepak Garg (Postdoctoral Researcher, starting September
2009)
- Limin Jia (Postdoctoral
Researcher, starting September 2009)
- Dilsun Kaynar
(Postdoctoral Researcher, 2007- )
Other
CMU student collaborators
- Henry
DeYoung (CSD PhD, advised by Frank Pfenning)
- Michael
Tschantz (CSD PhD, advised by Jeannette Wing)
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