Shaddin F. Doghmi

Publication Activity (10 Years)

Years Active: 2006-2007
Publications (10 Years): 0

Publications

Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer
Skeletons, Homomorphisms, and Shapes: Characterizing Protocol Executions. MFPS (2007)
Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer
Completeness of the Authentication Tests. ESORICS (2007)
Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer
Searching for Shapes in Cryptographic Protocols. TACAS (2007)
Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer
Searching for Shapes in Cryptographic Protocols (extended version). IACR Cryptol. ePrint Arch. 2006 (2006)