Searching for authors named "Ajith Ramanathan" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Unifying equivalence-based definitions of protocol security
- …"usters 1 , John C. Mitchell 1 , Ajith Ramanathan 1 , and Vitaly Shmatikov 2 1 Stanford University…
- Cited by 7 (2 self) – Add To MetaCart
-
Sequential probabilistic process calculus and simulation-based security
- …"usters2 John C. Mitchell1 Ajith Ramanathan1 1Stanford University{ danupam,jcm,ajith}@(email omitted); 2…
- Cited by 1 (0 self) – Add To MetaCart
-
On the relationships between notions of simulation-based security
- …, John C. Mitchell1, and Ajith Ramanathan1 1 Computer Science Department Stanford University Stanford…
- Cited by 8 (3 self) – Add To MetaCart
-
Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis
- … C. MITCHELL, AJITH RAMANATHAN, ANDRE SCEDROV, AND VANESSA TEAGUE Abstract. We prove properties of a…
- Cited by 21 (0 self) – Add To MetaCart
-
A probabilistic polynomial-time calculus for analysis of cryptographic protocols
- …. MITCHELL, AJITH RAMANATHAN, ANDRE SCEDROV, AND VANESSA TEAGUE Abstract. We prove properties of a process…
- Cited by 36 (8 self) – Add To MetaCart
Showing 1 through 5.
