Geoff Hamilton

Distillation

Geoff Hamilton · 2007 · 42 citations

Computing, Computer Science, Algorithms +9

Hypertext: the next maintenance mountain

Pearl Brereton, David Budgen, Geoff Hamilton · Computer · 1998 · 42 citations

Computing, Computer Science, Information Systems +16

Detecting Man-in-the-Middle Attacks by Precise Timing

Benjamin Aziz, Geoff Hamilton · 2009 · 34 citations

Computing, Computer Engineering, Computer Science +13

Distillation with labelled transition systems

Geoff Hamilton, Neil D. Jones · 2012 · 23 citations

Computing, Computer Science, Compilers +7

A static analysis of cryptographic processes: the denotational approach

Benjamin Aziz, Geoff Hamilton, David Gray · The Journal of Logic and Algebraic Programming · 2004 · 12 citations

Computing, Computer Engineering, Computer Science +10