Gavin Keighren

According to our database, Gavin Keighren authored at least 4 papers between 2007 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Industrial-scale environments with bounded uncertainty: a productivity maximisation challenge.

Daniel Sykes, Gavin Keighren

Proceedings of the 1st International Workshop on Robotics Software Engineering, 2018

2014

Restricting information flow in security APIs via typing.

Gavin Keighren

PhD thesis, 2014

2009

Towards a Type System for Security APIs.

Gavin Keighren, David Aspinall, Graham Steel

Proceedings of the Foundations and Applications of Security Analysis, 2009

2007

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

Véronique Cortier, Gavin Keighren, Graham Steel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007