| |
| 2005 | ||
|---|---|---|
| 2 | EE | Deepak Kapur, Paliath Narendran, Lida Wang: A Unification Algorithm for Analysis of Protocols with Blinded Signatures. Mechanizing Mathematical Reasoning 2005: 433-451 |
| 2003 | ||
| 1 | EE | 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] |