Ajith Ramanathan

According to our database, Ajith Ramanathan authored at least 8 papers between 2001 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2018

Practical Diversified Recommendations on YouTube with Determinantal Point Processes.

Mark Wilhelm, Ajith Ramanathan, Alexander Bonomo, Sagar Jain, Ed H. Chi, Jennifer Gillenwater

Proceedings of the 27th ACM International Conference on Information and Knowledge Management, 2018

2006

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

Games and the Impossibility of Realizable Ideal Functionality.

Anupam Datta, Ante Derek, John C. Mitchell, Ajith Ramanathan, Andre Scedrov

Proceedings of the Theory of Cryptography, Third Theory of Cryptography Conference, 2006

2005

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

Ajith Ramanathan

PhD thesis, 2005

On the Relationships Between Notions of Simulation-Based Security.

Anupam Datta, Ralf Küsters, John C. Mitchell, Ajith Ramanathan

Proceedings of the Theory of Cryptography, Second Theory of Cryptography Conference, 2005

2004

Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols.

Ajith Ramanathan, John C. Mitchell, Andre Scedrov, Vanessa Teague

Proceedings of the Foundations of Software Science and Computation Structures, 2004

2001

A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols (Preliminary Report).

John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague

Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001

Probabilistic Polynominal-Time Process Calculus and Security Protocol Analysis.

John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague

Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001