Gavin Keighren

Publication Activity (10 Years)

Years Active: 2007-2018
Publications (10 Years): 1

Top Topics

Industrial Applications

Robust Optimization

Top Venues

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Daniel Sykes, Gavin Keighren
Industrial-scale environments with bounded uncertainty: a productivity maximisation challenge. RoSE@ICSE (2018)
Gavin Keighren, David Aspinall, Graham Steel
Towards a Type System for Security APIs. ARSPA-WITS (2009)
Véronique Cortier, Gavin Keighren, Graham Steel
Automatic Analysis of the Security of XOR-Based Key Management Schemes. TACAS (2007)