Items where Author is "Hamilton, Geoff W."
 | Up a level |
Article
Aziz, Benjamin and Hamilton, Geoff W. (2014) Enforcing Reputation Constraints on Business Process Workflows. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 5 (1). pp. 101-121.
Aziz, Benjamin and Hamilton, Geoff W. (2011) Verifying a delegation protocol for grid systems. Future Gener. Comput. Syst., 27 (5). pp. 476-485.
Aziz, Benjamin and Hamilton, Geoff W. (2007) Modelling and Analysis of PKI-Based Systems Using Process Calculi. Int. J. Found. Comput. Sci., 18 (3). pp. 593-618.
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.
Conference or Workshop Item
Hamilton, Geoff W. and Aziz, Benjamin (2022) Excommunication: Transforming \(π\)-Calculus Specifications to Remove Internal Communication. In: Formal Methods: Foundations and Applications - 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings.
Aziz, Benjamin and Hamilton, Geoff W. (2013) Reputation-Controlled Business Process Workflows. In: 2013 International Conference on Availability, Reliability and Security, ARES 2013, Regensburg, Germany, September 2-6, 2013.
Aziz, Benjamin and Hamilton, Geoff W. (2009) Detecting Man-in-the-Middle Attacks by Precise Timing. In: The Third International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2009, 18-23 June 2009, Athens/Glyfada, Greece.
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.
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.
Aziz, Benjamin and Hamilton, Geoff W. (2001) A Denotational Semantics for the Pi-Calculus. In: 5th Irish Workshop on Formal Methods, IWFM 2001, Dublin, Ireland, 16-17 July 2001.