Gavin Keighren

Automatic Analysis of the Security of XOR-Based Key Management Schemes

Véronique Cortier, Graham Steel, Gavin Keighren, 2007, TACAS.

Towards a Type System for Security APIs

Graham Steel, David Aspinall, Gavin Keighren, 2009, ARSPA-WITS.

Model Checking Security APIs

Gavin Keighren, 2006 .

Restricting information flow in security APIs via typing

Gavin Keighren, Gavin Keighren, 2014 .

Industrial-Scale Environments with Bounded Uncertainty: A Productivity Maximisation Challenge

Gavin Keighren, Daniel Sykes, Daniel Sykes, 2018, 2018 IEEE/ACM 1st International Workshop on Robotics Software Engineering (RoSE).

Model Checking IBM's Common Cryptographic Architecture API

Gavin Keighren, 2006 .