Items where Author is "Gray, David"

Article

Aziz, Benjamin, Hamilton, Geoff W. and Gray, David (2005) A static analysis of cryptographic processes: the denotational approach. J. Log. Algebraic Methods Program., 64 (2). pp. 285-320.

Aziz, Benjamin, Gray, David, Hamilton, Geoff, Oehl, Frederic, Power, James F and Sinclair, David (2001) Implementing protocol verification for E-commerce.

Conference or Workshop Item

Aziz, Benjamin, Gray, David and Hamilton, Geoff W. (2005) A Static Analysis of PKI-Based Systems. In: Theoretical Computer Science, 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings.

Gray, David, Aziz, Benjamin and Hamilton, Geoff (2004) Spiky: A nominal calculus for modelling protocols that use pkis. In: Proceedings of the International Workshop on Security Analysis of Systems: Formalism and Tools, Orléans, France.

Aziz, Benjamin, Hamilton, Geoff W. and Gray, David (2003) A Denotational Approach to the Static Analysis of Cryptographic Processes. In: Proceedings of the International Workshop on Software Verification and Validation, SVV@ICLP 2003, Mumbai, India, December 14, 2003.