Paul Whittaker

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

Coauthor Index

1	Sadie Creese	[2]
2	Paul H. B. Gardiner	[1]
3	Michael Goldsmith	[1] [2]
4	Richard Harrison	[2]
5	A. W. Roscoe (A. William Roscoe, Bill Roscoe)	[2]
6	Irfan Zakiuddin	[1] [2]