Gavin Keighren
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2007–2018
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ICSE | Industrial-scale environments with bounded uncertainty: a productivity maximisation challenge. | Daniel Sykes, Gavin Keighren |
| 2007 | TACAS | Automatic Analysis of the Security of XOR-Based Key Management Schemes. | Vronique Cortier, Gavin Keighren, Graham Steel |