A Methodology for Model-Checking Ad-hoc Networks. - Irfan Zakiuddin; Michael Goldsmith; Paul Whittaker; Paul H. B. Gardiner (SPIN, 2003)

Exploiting Empirical Engagement in Authentication Protocol Design. - Sadie Creese; Michael Goldsmith; Richard Harrison; Bill Roscoe; Paul Whittaker; Irfan Zakiuddin (SPC, 2005)