| 2006 |
|---|
| 4 | EE | Sadie Creese,
Michael Goldsmith,
Bill Roscoe,
Ming Xiao:
Bootstrapping multi-party ad-hoc security.
SAC 2006: 369-375 |
| 2005 |
|---|
| 3 | EE | Sadie Creese,
Michael Goldsmith,
Richard Harrison,
Bill Roscoe,
Paul Whittaker,
Irfan Zakiuddin:
Exploiting Empirical Engagement in Authentication Protocol Design.
SPC 2005: 119-133 |
| 2004 |
|---|
| 2 | EE | Sadie Creese:
Industrial Strength CSP: Opportunities and Challenges in Model-Checking.
25 Years Communicating Sequential Processes 2004: 292-292 |
| 2003 |
|---|
| 1 | EE | Sadie Creese,
Michael Goldsmith,
Bill Roscoe,
Irfan Zakiuddin:
Authentication for Pervasive Computing.
SPC 2003: 116-129 |
