Shaddin F. Doghmi

According to our database, Shaddin F. Doghmi authored at least 4 papers between 2006 and 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2007

Skeletons, Homomorphisms, and Shapes: Characterizing Protocol Executions.

Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer

Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, 2007

Searching for Shapes in Cryptographic Protocols.

Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Completeness of the Authentication Tests.

Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer

Proceedings of the Computer Security, 2007

2006

Searching for Shapes in Cryptographic Protocols (extended version).

Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer

IACR Cryptol. ePrint Arch., 2006