Ajith Ramanathan

From MaRDI portal
Person:1021240



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
A probabilistic polynomial-time calculus for analysis of cryptographic protocols (preliminary report)
Electronic Notes in Theoretical Computer Science
2013-04-26Paper
On the relationships between notions of simulation-based security
Journal of Cryptology
2009-06-08Paper
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science
2007-09-28Paper
Theory of Cryptography
Lecture Notes in Computer Science
2007-02-12Paper
A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols
Theoretical Computer Science
2006-04-28Paper
Theory of Cryptography
Lecture Notes in Computer Science
2005-12-07Paper


Research outcomes over time


This page was built for person: Ajith Ramanathan