| * | 2009 |
|---|
| 14 | EE | Gavin Keighren,
David Aspinall,
Graham Steel:
Towards a Type System for Security APIs.
ARSPA-WITS 2009: 173-192 |
| 13 | EE | Sibylle B. Fröschle,
Graham Steel:
Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data.
ARSPA-WITS 2009: 92-106 |
| 12 | EE | Matteo Centenaro,
Riccardo Focardi,
Flaminia L. Luccio,
Graham Steel:
Type-Based Analysis of PIN Processing APIs.
ESORICS 2009: 53-68 |
| 11 | EE | Véronique Cortier,
Graham Steel:
A Generic Security API for Symmetric Key Management on Cryptographic Devices.
ESORICS 2009: 605-620 |
| 10 | EE | Riccardo Focardi,
Flaminia L. Luccio,
Graham Steel:
Blunting Differential Attacks on PIN Processing APIs.
NordSec 2009: 88-103 |
| 2008 |
|---|
| 9 | EE | Stéphanie Delaune,
Steve Kremer,
Graham Steel:
Formal Analysis of PKCS#11.
CSF 2008: 331-344 |
| 2007 |
|---|
| 8 | EE | Véronique Cortier,
Stéphanie Delaune,
Graham Steel:
A Formal Theory of Key Conjuring.
CSF 2007: 79-96 |
| 7 | EE | Véronique Cortier,
Gavin Keighren,
Graham Steel:
Automatic Analysis of the Security of XOR-Based Key Management Schemes.
TACAS 2007: 538-552 |
| 2006 |
|---|
| 6 | EE | Graham Steel,
Alan Bundy:
Attacking Group Protocols by Refuting Incorrect Inductive Conjectures.
J. Autom. Reasoning 36(1-2): 149-176 (2006) |
| 5 | EE | Graham Steel:
Formal analysis of PIN block attacks.
Theor. Comput. Sci. 367(1-2): 257-270 (2006) |
| 2005 |
|---|
| 4 | EE | Graham Steel:
Deduction with XOR Constraints in Security API Modelling.
CADE 2005: 322-336 |
| 3 | EE | Graham Steel:
The Importance of Non-theorems and Counterexamples in Program Verification.
VSTTE 2005: 491-495 |
| 2 | EE | Graham Steel,
Alan Bundy:
Attacking Group Multicast Key Management Protocols Using Coral.
Electr. Notes Theor. Comput. Sci. 125(1): 125-144 (2005) |
| 2004 |
|---|
| 1 | EE | Graham Steel,
Alan Bundy,
Monika Maidl:
Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures.
IJCAR 2004: 137-151 |
