 | 2008 |
|---|
| 7 |       | Ralf Küsters,
Anupam Datta,
John C. Mitchell,
Ajith Ramanathan:
On the Relationships between Notions of Simulation-Based Security.
J. Cryptology 21(4): 492-546 (2008) |
| 2006 |
|---|
| 6 | | Anupam Datta,
Ante Derek,
John C. Mitchell,
Ajith Ramanathan,
Andre Scedrov:
Games and the Impossibility of Realizable Ideal Functionality.
TCC 2006: 360-379 |
| 5 | | John C. Mitchell,
Ajith Ramanathan,
Andre Scedrov,
Vanessa Teague:
A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols.
Theor. Comput. Sci. 353(1-3): 118-164 (2006) |
| 2005 |
|---|
| 4 | | Anupam Datta,
Ralf Küsters,
John C. Mitchell,
Ajith Ramanathan:
On the Relationships Between Notions of Simulation-Based Security.
TCC 2005: 476-494 |
| 2004 |
|---|
| 3 | | Ajith Ramanathan,
John C. Mitchell,
Andre Scedrov,
Vanessa Teague:
Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols.
FoSSaCS 2004: 468-483 |
| 2001 |
|---|
| 2 |  | John C. Mitchell,
Ajith Ramanathan,
Andre Scedrov,
Vanessa Teague:
Probabilistic Polynominal-Time Process Calculus and Security Protocol Analysis.
LICS 2001: 3-8 |
| 1 | | John C. Mitchell,
Ajith Ramanathan,
Andre Scedrov,
Vanessa Teague:
A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols (Preliminary Report).
Electr. Notes Theor. Comput. Sci. 45: (2001) |
