You can contact me via myfirstname at cs dot university dot edu.

My research interests include:

• Process algebras and equivalence-based security analysis
• Relating various approaches to specifying security properties i.e., functionalities and game-based definitions
• Complexity-theoretic analysis of security protocols

Refereed Publications:

• A. Datta, R. Küsters, J. C. Mitchell, A. Ramanathan, On the Relationships between Notions of Simulation-based Security, to appear in Proceedings of Theory of Cryptography Conference, February 2005.
• J. C. Mitchell, A. Ramanathan, A. Scedrov, V. Teague, Probabilistic Bisimulation and Equivalence for the Security Analysis of Network Protocols, in 7th International Conference on the Foundations of Software Science and Computation Structures, April 2004. [ 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 ]
• J. C. Mitchell, A. Ramanathan, A. Scedrov, V. Teague, A Probabilistic Polynomial-Time Calculus for Analysis of Cryptographic Protocols, in 17th Annual Conference on the Mathematical Foundations of Programming Semantics, ENTCS (45), 2001. [ Paper ]

Technical Reports:

• J. C. Mitchell, A. Ramanathan, A. Scedrov, V. Teague, A Probabilistic Polynomial-Time Calculus for the Analysis of Cryptographic Protocols, Technical Report, July 2004. [ Paper ]