- CSB - MetaPress - Google - Bing - Yahoo
 | 2005 | |
|---|---|---|
| 2 |      | Deepak Kapur, Paliath Narendran, Lida Wang: A Unification Algorithm for Analysis of Protocols with Blinded Signatures. Mechanizing Mathematical Reasoning 2005: 433-451 |
| 2003 | ||
| 1 | | Deepak Kapur, Paliath Narendran, Lida Wang: An E-unification Algorithm for Analyzing Protocols That Use Modular Exponentiation. RTA 2003: 165-179 |
| 1 | Deepak Kapur | [1] [2] |
| 2 | Paliath Narendran | [1] [2] |