Ajith Ramanathan

Available identifiers

zbMath Open ramanathan.ajithMaRDI QIDQ1021240

List of research outcomes

Publication	Date of Publication	Type
A probabilistic polynomial-time calculus for analysis of cryptographic protocols (preliminary report)	2013-04-26	Paper
On the relationships between notions of simulation-based security	2009-06-08	Paper
Foundations of Software Science and Computation Structures	2007-09-28	Paper
Theory of Cryptography	2007-02-12	Paper
A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols	2006-04-28	Paper
Theory of Cryptography	2005-12-07	Paper

Research outcomes over time

This page was built for person: Ajith Ramanathan