Items where Author is "Hamilton, Geoff"
 | Up a level |
Gugel, Alberto, Aziz, Benjamin and Hamilton, Geoff (2014) Revisiting the ban-modified andrew secure rpc protocol. Journal of Internet Services and Information Security (JISIS), 4 (3). pp. 82-96.
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 and Hamilton, Geoff (2002) A privacy analysis for the π-calculus: The denotational approach. In: Proceedings of the 2nd Workshop on the Specification, Analysis and Validation for Emerging Technologies.
Aziz, Benjamin, Gray, David, Hamilton, Geoff, Oehl, Frederic, Power, James F and Sinclair, David (2001) Implementing protocol verification for E-commerce.
Aziz, Benjamin and Hamilton, Geoff Options for Establishing Trust in a Complex Grid Operating System.