Travelled to:1 × Spain
1 × USA
Collaborated with:J.C.Mitchell A.Scedrov V.Teague
Talks about:probabilist (2) protocol (2) analysi (2) secur (2) polynomin (1) calculus (1) process (1) network (1) equival (1) bisimul (1)
Person: Ajith Ramanathan
DBLP: Ramanathan:Ajith
Contributed to:
2004
2001Wrote 2 papers:
- FoSSaCS-2004-RamanathanMST #analysis #bisimulation #equivalence #network #probability #protocol #security
- Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols (AR, JCM, AS, VT), pp. 468–483.
- LICS-2001-MitchellRST #analysis #calculus #probability #process #protocol #security
- Probabilistic Polynominal-Time Process Calculus and Security Protocol Analysis (JCM, AR, AS, VT), pp. 3–5.