Anupam Datta: Selected Publications
Selected Publications
Manuscripts:
-
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.
Journal and Conference Publications:
Trustworthy Systems
-
D. Garg,
J. Franklin,
D. Kaynar,
A. Datta,
A Logic for Reasoning about Networked Secure Systems.
- In Joint Workshop FCS-ARSPA-WITS (co-located with CSF 2008 and LICS 2008), June 2008.
[ Paper ]
- Full version with proofs, June 2008.
[ Paper ]
Foundations of Privacy
-
A. Barth,
A. Datta,
J.
C. Mitchell, S. Sundaram,
Privacy and Utility in Business Processes,
to appear in Proceedings of 20th IEEE Computer Security Foundations Symposium, July 2007.
[ Paper ]
-
A. Barth,
A. Datta,
J.
C. Mitchell, H. Nissenbaum,
Privacy and Contextual Integrity: Framework and Applications,
in
Proceedings of 27th IEEE Symposium on Security and Privacy , pp.
184-198, May 2006.
[ Paper ]
Network Security: Protocol Composition Logic
-
A. Roy,
A. Datta, A. Derek,
J.
C. Mitchell, J.-P. Seifert,
Secrecy Analysis in Protocol Composition Logic,
in
Formal Logical Methods for System Security and Correctness, IOS Press, 2008.
[ Paper ]
-
A. Roy,
A. Datta,
J.
C. Mitchell,
Formal Proofs of Cryptographic Security of Diffie-Hellman based Protocols,
in
Proceedings of Symposium On Trustworthy Global Computing, November 2007.
[ Paper ]
-
A. Roy,
A. Datta, A. Derek,
J.
C. Mitchell,
Inductive Proofs of Computational Secrecy,
in
Proceedings of 12th European Symposium On Research In Computer Security
, September 2007.
[ Paper ]
-
A. Datta, A. Derek,
J. C. Mitchell,
A. Roy,
Protocol Composition Logic (PCL),
in Electronic Notes in Theoretical Computer Science (Gordon D. Plotkin
Festschrift), 2007.
[ Paper ]
Invited Paper
-
A. Roy,
A. Datta, A. Derek,
J.
C. Mitchell,
Inductive Trace Properties for Computational Security,
in
Proceedings of ACM SIGPLAN and IFIP WG 1.7
7th Workshop on Issues in the Theory of Security,
March 2007. (Invited to Special Issue of Journal of Computer Security).
[ Paper ]
Award Paper
-
A. Roy,
A. Datta, A. Derek,
J.
C. Mitchell, J.-P. Seifert,
Secrecy Analysis in Protocol Composition Logic,
in Proceedings of 11th Annual Asian Computing Science Conference, December 2006.
[ Paper ]
-
A. Datta, A. Derek,
J.
C. Mitchell, B. Warinschi,
Computationally Sound Compositional Logic for Key Exchange Protocols,
in Proceedings of 19th IEEE Computer Security Foundations Workshop, pp. 321-334, July 2006.
[ Paper ]
-
M. Backes, A. Datta, A. Derek, J.
C. Mitchell, M. Turuani, Compositional Analysis of Contract-Signing Protocols,
in Theoretical Computer Science, 367(1-2), pp. 33-56, 2006.
[ Paper ]
-
C. He, M. Sundararajan,
A. Datta, A. Derek,
J.
C. Mitchell,
A Modular Correctness Proof of TLS and IEEE 802.11i,
in Proceedings of 12th ACM Conference on Computer and
Communications Security, pp. 2-15, November 2005.
(Invited to ACM Transactions on Information and System Security, Special
Issue of Selected Papers from CCS'05.)
[ Paper ]
Award Paper
-
A. Datta, A. Derek,
J.
C. Mitchell,
V. Shmatikov, M. Turuani,
Probabilistic Polynomial-time Semantics for a Protocol Security Logic,
in Proceedings of 32nd International Colloquium on Automata,
Languages and Programming, pp. 16-29, July 2005.
[ Paper ]
Invited Paper
-
A. Datta, A. Derek, J.
C. Mitchell, D.
Pavlovic, A Derivation System and Compositional Logic for Security Protocols,
Journal of Computer Security (Special Issue of Selected Papers
from CSFW-16), Vol. 13, pp. 423-482, 2005.
[ Paper ]
-
M. Backes, A. Datta, A. Derek, J.
C. Mitchell, M. Turuani, Compositional Analysis of Contract-Signing Protocols,
in Proceedings of 18th IEEE Computer Security Foundations Workshop, pp. 94-110, June 2005.
[ Paper ]
-
A. Datta, A. Derek, J.
C. Mitchell, D.
Pavlovic, Abstraction and Refinement in Protocol Derivation,
in
Proceedings of 17th IEEE Computer Security Foundations Workshop, pp. 30-45, June 2004.
[ Paper ]
-
A. Datta, A. Derek, J.
C. Mitchell, D.
Pavlovic, Secure Protocol Composition.
-
In Proceedings of 19th Annual Conference on Mathematical
Foundations of Programming Semantics, Electronic Notes in Theoretical Computer
Science, Vol. 83, 2004.
[ Paper ]
-
Extended abstract in Proceedings of ACM
Workshop on Formal Methods in Security Engineering, pp. 11-23, October 2003.
[ Paper ]
A. Datta, A. Derek, J.
C. Mitchell, D.
Pavlovic, A Derivation System for Security Protocols and its Logical
Formalization,
in Proceedings of 16th IEEE Computer Security
Foundations Workshop, pp. 109-125, June 2003.
(Invited to
Journal of Computer Security, Special Issue of Selected Papers
from CSFW-16)
[ Paper ]
Award Paper
Cryptographic Definitions of Security
-
R. Küsters,
A. Datta,
J.
C. Mitchell,
A. Ramanathan,
On the Relationships between Notions of Simulation-based Security,
accepted for publication in Journal of Cryptology, 2008.
-
A. Datta, A. Derek,
J.
C. Mitchell,
A. Ramanathan, A. Scedrov,
Games and the Impossibility of Realizable Ideal Functionality,
in Proceedings of Theory of Cryptography Conference,
pp. 360-379,
March 2006.
[ Paper ]
-
A. Datta, R. Küsters,
J.
C. Mitchell,
A. Ramanathan,
On the Relationships between Notions of Simulation-based Security,
in Proceedings of Theory of Cryptography Conference, Lecture Notes in
Computer Science, Vol. 3378,
pp. 476-494, February 2005.
[ Paper ]
-
A. Datta, R. Küsters,
J.
C. Mitchell,
A. Ramanathan,
V. Shmatikov, Unifying Equivalence-Based Definitions of
Protocol Security,
in Proceedings of ACM SIGPLAN and IFIP WG 1.7
4th Workshop on Issues in the Theory of Security,
April 2004.
[ Paper ]
Patent:
Theses:
-
A. Datta,
Security Analysis of Network Protocols: Compositional Reasoning and
Complexity-theoretic Foundations,
PhD Thesis, Computer Science Department, Stanford University, September
2005.
[PS]
[PDF]
-
A. Datta, Studies in Authenticated
Key Establishment Protocols, MS Thesis, Computer Science Department,
Stanford University, May 2002. [ Full thesis ]