 | 2007 |
| 4 |  | Shaddin F. Doghmi,
Joshua D. Guttman,
F. Javier Thayer:
Completeness of the Authentication Tests.
ESORICS 2007: 106-121 |
| 3 |  | Shaddin F. Doghmi,
Joshua D. Guttman,
F. Javier Thayer:
Searching for Shapes in Cryptographic Protocols.
TACAS 2007: 523-537 |
| 2 |  | 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) |
| 2006 |
| 1 |  | Shaddin F. Doghmi,
Joshua D. Guttman,
F. Javier Thayer:
Searching for Shapes in Cryptographic Protocols (extended version).
IACR Cryptology ePrint Archive 2006: 435 (2006) |