`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:

### Wrote 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.