Automatic Analysis of the Security of XOR-Based Key Management Schemes. - Véronique Cortier; Gavin Keighren; Graham Steel (TACAS, 2007)

Towards a Type System for Security APIs. - Gavin Keighren; David Aspinall 001; Graham Steel (ARSPA-WITS, 2009)

Restricting information flow in security APIs via typing. - Gavin Keighren (2014)

Industrial-scale environments with bounded uncertainty: a productivity maximisation challenge. - Daniel Sykes; Gavin Keighren (RoSE@ICSE, 2018)