|
|
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.
Recent panels/talks on active
projects and research directions:
- Protocol
Composition Logic: Computational Semantics and Inductive Proofs, Computational
and Symbolic Proofs of Security Workshop, April 2009.
- Privacy,
Compliance and Information Risk in Complex Organizational Processes, NYU/IBM
Workshop on Managing Data Risk: Acquisition, Processing, Retention and
Governance, April 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
-
Toward Semantic Security Properties of Software,
Panel on Rigorous Security Analysis of Software at
IEEE Computer Security Foundations Symposium,July 2009
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, co-advised with Adrian Perrig)
- Divya Sharma (ECE PhD)
- Arunesh
Sinha (ECE PhD)
- Deepak Garg (Postdoctoral Researcher)
- Limin Jia (Postdoctoral
Researcher)
- Dilsun Kaynar
(Postdoctoral Researcher)
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