Gavin Keighren

	2009
2		Gavin Keighren, David Aspinall, Graham Steel: Towards a Type System for Security APIs. ARSPA-WITS 2009: 173-192
	2007
1		Véronique Cortier, Gavin Keighren, Graham Steel: Automatic Analysis of the Security of XOR-Based Key Management Schemes. TACAS 2007: 538-552

Coauthor Index

1	David Aspinall	[2]
2	Véronique Cortier	[1]
3	Graham Steel	[1] [2]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page