| |
| 2007 | ||
|---|---|---|
| 3 | EE | Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer: Completeness of the Authentication Tests. ESORICS 2007: 106-121 |
| 2 | EE | Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer: Searching for Shapes in Cryptographic Protocols. TACAS 2007: 523-537 |
| 1 | EE | Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer: Skeletons, Homomorphisms, and Shapes: Characterizing Protocol Executions. Electr. Notes Theor. Comput. Sci. 173: 85-102 (2007) |
| 1 | Joshua D. Guttman | [1] [2] [3] |
| 2 | F. Javier Thayer | [1] [2] [3] |