Search the dblp DataBase

Publications of Author

1. 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:468-483 [Conf]
   
2. John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague
   Probabilistic Polynominal-Time Process Calculus and Security Protocol Analysis. [Citation Graph (0, 0)][DBLP]
   LICS, 2001, pp:3-8 [Conf]
   
3. 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:360-379 [Conf]
   
4. Anupam Datta, Ralf Küsters, John C. Mitchell, Ajith Ramanathan
   On the Relationships Between Notions of Simulation-Based Security. [Citation Graph (0, 0)][DBLP]
   TCC, 2005, pp:476-494 [Conf]
   
5. John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague
   A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols (Preliminary Report). [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:45, n:, pp:- [Journal]
   
6. John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague
   A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:353, n:1-3, pp:118-164 [Journal]