Probabilistic Polynominal-Time Process Calculus and Security Protocol Analysis. - John C. Mitchell; Ajith Ramanathan; Andre Scedrov; Vanessa Teague (LICS, 2001)

A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols (Preliminary Report). - John C. Mitchell; Ajith Ramanathan; Andre Scedrov; Vanessa Teague (MFPS, 2001)

Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols. - Ajith Ramanathan; John C. Mitchell; Andre Scedrov; Vanessa Teague (FoSSaCS, 2004)

Games and the Impossibility of Realizable Ideal Functionality. - Anupam Datta; Ante Derek; John C. Mitchell; Ajith Ramanathan; Andre Scedrov (IACR Cryptol. ePrint Arch., 2005)

A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols. - Ajith Ramanathan (2005)

A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols. - John C. Mitchell; Ajith Ramanathan; Andre Scedrov; Vanessa Teague (Theor. Comput. Sci., 2006)

On the Relationships between Notions of Simulation-Based Security. - Ralf Küsters; Anupam Datta; John C. Mitchell; Ajith Ramanathan (J. Cryptol., 2008)

Practical Diversified Recommendations on YouTube with Determinantal Point Processes. - Mark Wilhelm; Ajith Ramanathan; Alexander Bonomo; Sagar Jain; Ed H. Chi; Jennifer Gillenwater (CIKM, 2018)