Paul Whittaker

Publication Activity (10 Years)

Years Active: 2003-2005
Publications (10 Years): 0

Publications

Sadie Creese, Michael Goldsmith, Richard Harrison, Bill Roscoe, Paul Whittaker, Irfan Zakiuddin
Exploiting Empirical Engagement in Authentication Protocol Design. SPC (2005)
Irfan Zakiuddin, Michael Goldsmith, Paul Whittaker, Paul H. B. Gardiner
A Methodology for Model-Checking Ad-hoc Networks. SPIN (2003)