| |
| 2007 | ||
|---|---|---|
| 7 | EE | Véronique Cortier, Stéphanie Delaune, Graham Steel: A Formal Theory of Key Conjuring. CSF 2007: 79-96 |
| 6 | EE | Véronique Cortier, Gavin Keighren, Graham Steel: Automatic Analysis of the Security of XOR-Based Key Management Schemes. TACAS 2007: 538-552 |
| 2006 | ||
| 5 | EE | Graham Steel, Alan Bundy: Attacking Group Protocols by Refuting Incorrect Inductive Conjectures. J. Autom. Reasoning 36(1-2): 149-176 (2006) |
| 4 | EE | Graham Steel: Formal analysis of PIN block attacks. Theor. Comput. Sci. 367(1-2): 257-270 (2006) |
| 2005 | ||
| 3 | EE | Graham Steel: Deduction with XOR Constraints in Security API Modelling. CADE 2005: 322-336 |
| 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 |
| 1 | Alan Bundy | [1] [2] [5] |
| 2 | Véronique Cortier | [6] [7] |
| 3 | Stéphanie Delaune | [7] |
| 4 | Gavin Keighren | [6] |
| 5 | Monika Maidl | [1] |