Ajith Ramanathan

Practical Diversified Recommendations on YouTube with Determinantal Point Processes

Mark Wilhelm, Ajith Ramanathan, Alexander Bonomo et al. · 2018 · 121 citations · Full text

Ranking Algorithm, Engineering, Learning To Rank +19

A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols

John C. Mitchell, Ajith Ramanathan, Andre Scedrov et al. · Theoretical Computer Science · 2005 · 94 citations

Cryptographic Primitive, Engineering, Cryptographic Protocols +11

A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols

John C. Mitchell, Ajith Ramanathan, Andre Scedrov et al. · Electronic Notes in Theoretical Computer Science · 2001 · 79 citations · Full text

Cryptographic Primitive, Engineering, Information Security +18

On the Relationships between Notions of Simulation-Based Security

Ralf Küsters, Anupam Datta, John C. Mitchell et al. · Journal of Cryptology · 2008 · 27 citations · Full text

Hardware Security, Security Modelling, Attack Simulation +12

Probabilistic polynomial-time process calculus and security protocol analysis

John C. Mitchell, Ajith Ramanathan, Andre Scedrov et al. · 2005 · 11 citations

Engineering, Information Security, Verification +17