 | 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) |
Data released under the ODC-BY 1.0 license — See also our legal information page