Publications:

• A. Roy, A. Datta, A. Derek, J. C. Mitchell, Inductive Trace Properties for Computational Security, Cryptology ePrint Archive: Report 2006/486, December 2006. [ Paper ]


• A. Datta, A. Derek, J. C. Mitchell, A. Ramanathan, A. Scedrov, Games and the Impossibility of Realizable Ideal Functionality.
  • In Proceedings of Theory of Cryptography Conference, pp. 360-379, March 2006. [ Paper ]
  • Preliminary version as Cryptology ePrint Archive: Report 2005/211, July 2005. [ Paper ]


• A. Datta, R. Küsters, J. C. Mitchell, A. Ramanathan, On the Relationships between Notions of Simulation-based Security, in Proceedings of Theory of Cryptography Conference, Lecture Notes in Computer Science, Vol. 3378, pp. 476-494, February 2005. [ Paper ]


• A. Datta, R. Küsters, J. C. Mitchell, A. Ramanathan, Sequential Probabilistic Process Calculus and Simulation-Based Security, Technical Report, August 2004. [ TR ]
  
  
• 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 ]