The following pages link to Ajith Ramanathan (Q1021240):
Displaying 6 items.
- On the relationships between notions of simulation-based security (Q1021241) (← links)
- A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols (Q2368990) (← links)
- A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols (Q4917062) (← links)
- Foundations of Software Science and Computation Structures (Q5308469) (← links)
- Theory of Cryptography (Q5711659) (← links)
- Theory of Cryptography (Q5898364) (← links)
