- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 2 |      | Gavin Keighren, David Aspinall, Graham Steel: Towards a Type System for Security APIs. ARSPA-WITS 2009: 173-192 |
| 2007 | ||
| 1 | | Véronique Cortier, Gavin Keighren, Graham Steel: Automatic Analysis of the Security of XOR-Based Key Management Schemes. TACAS 2007: 538-552 |
| 1 | David Aspinall | [2] |
| 2 | Véronique Cortier | [1] |
| 3 | Graham Steel | [1] [2] |