Ajith Ramanathan
I am a Ph.D. Candidate in Computer Science at Stanford University. My advisor is Dr. John C. Mitchell.
I am affiliated with the security group and the theory group.
You can contact me via myfirstname at cs dot university dot edu.
My research interests include:
 Process algebras and equivalencebased security analysis
 Relating various approaches to specifying security properties i.e., functionalities and gamebased definitions
 Complexitytheoretic analysis of security protocols
Publications
Refereed Publications:

A. Datta, R. Küsters,
J. C. Mitchell, A. Ramanathan, On the
Relationships between Notions of Simulationbased 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
EquivalenceBased 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 PolynomialTime 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 PolynomialTime Calculus for the Analysis of Cryptographic Protocols,
Technical Report, July 2004.
[ Paper ]