
Search the dblp DataBase
Ajith Ramanathan:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Ajith Ramanathan, John C. Mitchell, Andre Scedrov, Vanessa Teague
Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2004, pp:468483 [Conf]
 John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague
Probabilistic PolynominalTime Process Calculus and Security Protocol Analysis. [Citation Graph (0, 0)][DBLP] LICS, 2001, pp:38 [Conf]
 Anupam Datta, Ante Derek, John C. Mitchell, Ajith Ramanathan, Andre Scedrov
Games and the Impossibility of Realizable Ideal Functionality. [Citation Graph (0, 0)][DBLP] TCC, 2006, pp:360379 [Conf]
 Anupam Datta, Ralf Küsters, John C. Mitchell, Ajith Ramanathan
On the Relationships Between Notions of SimulationBased Security. [Citation Graph (0, 0)][DBLP] TCC, 2005, pp:476494 [Conf]
 John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague
A Probabilistic Polynomialtime Calculus For Analysis of Cryptographic Protocols (Preliminary Report). [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:45, n:, pp: [Journal]
 John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague
A probabilistic polynomialtime process calculus for the analysis of cryptographic protocols. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:353, n:13, pp:118164 [Journal]
Search in 0.003secs, Finished in 0.003secs
