Paul Whittaker

List of publications from the DBLP Bibliography Server - FAQ

2005

2 EE 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 EE Irfan Zakiuddin, Michael Goldsmith, Paul Whittaker, Paul H. B. Gardiner: A Methodology for Model-Checking Ad-hoc Networks. SPIN 2003: 181-196

2005
2	EE	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	EE	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]