Ajith Ramanathan - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 11 from 11

2018

Practical Diversified Recommendations on YouTube with Determinantal Point ProcessesMark Wilhelm, Ajith Ramanathan, Alexander Bonomo, Sagar Jain, Ed H. Chi, Jennifer Gillenwater. CIKM 2018: 2165-2173 [doi]

2008

On the Relationships between Notions of Simulation-Based SecurityRalf Küsters, Anupam Datta, John C. Mitchell, Ajith Ramanathan. joc, 21(4):492-546, 2008. [doi]

2006

2005

Games and the Impossibility of Realizable Ideal FunctionalityAnupam Datta, Ante Derek, John C. Mitchell, Ajith Ramanathan, Andre Scedrov. iacr, 2005:211, 2005. [doi]

On the Relationships Between Notions of Simulation-Based SecurityAnupam Datta, Ralf Küsters, John C. Mitchell, Ajith Ramanathan. tcc 2005: 476-494 [doi]

A probabilistic polynomial-time process calculus for the analysis of cryptographic protocolsAjith Ramanathan. PhD thesis, Stanford University, USA, 2005. [doi]

2004

Probabilistic Bisimulation and Equivalence for Security Analysis of Network ProtocolsAjith Ramanathan, John C. Mitchell, Andre Scedrov, Vanessa Teague. fossacs 2004: 468-483 [doi]

2001

Probabilistic Polynominal-Time Process Calculus and Security Protocol AnalysisJohn C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague. lics 2001: 3-8

A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols (Preliminary Report)John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague. ENTCS, 45:280-310, 2001. [doi]

Sign in or sign up to see more results.

runs on WebDSL