Graham Steel

	2012
24		Steve Kremer, Robert Knnemann, Graham Steel: Universally Composable Key-Management. IACR Cryptology ePrint Archive 2012: 189 (2012)
	2011
23		Steve Kremer, Graham Steel, Bogdan Warinschi: Security for Key Management Interfaces. CSF 2011: 266-280
22		Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan, Graham Steel: Formal Analysis of Protocols Based on TPM State Registers. CSF 2011: 66-80
21		Riccardo Focardi, Flaminia L. Luccio, Graham Steel: An Introduction to Security API Analysis. FOSAD 2011: 35-65
20		Morten Dahl, Stéphanie Delaune, Graham Steel: Formal Analysis of Privacy for Anonymous Location Based Services. TOSCA 2011: 98-112
19		Graham Steel: Formal Analysis of Security APIs. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 492-494
	2010
18		Matteo Bortolozzo, Matteo Centenaro, Riccardo Focardi, Graham Steel: Attacking and fixing PKCS#11 security tokens. ACM Conference on Computer and Communications Security 2010: 260-269
17		Morten Dahl, Stéphanie Delaune, Graham Steel: Formal Analysis of Privacy for Vehicular Mix-Zones. ESORICS 2010: 55-70
16		Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan, Graham Steel: A Formal Analysis of Authentication in the TPM. Formal Aspects in Security and Trust 2010: 111-125
15		Stéphanie Delaune, Steve Kremer, Graham Steel: Formal security analysis of PKCS#11 and proprietary extensions. Journal of Computer Security 18(6): 1211-1245 (2010)
	2009
14		Gavin Keighren, David Aspinall, Graham Steel: Towards a Type System for Security APIs. ARSPA-WITS 2009: 173-192
13		Sibylle B. Fröschle, Graham Steel: Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data. ARSPA-WITS 2009: 92-106
12		Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio, Graham Steel: Type-Based Analysis of PIN Processing APIs. ESORICS 2009: 53-68
11		Véronique Cortier, Graham Steel: A Generic Security API for Symmetric Key Management on Cryptographic Devices. ESORICS 2009: 605-620
10		Riccardo Focardi, Flaminia L. Luccio, Graham Steel: Blunting Differential Attacks on PIN Processing APIs. NordSec 2009: 88-103
	2008
9		Stéphanie Delaune, Steve Kremer, Graham Steel: Formal Analysis of PKCS#11. CSF 2008: 331-344
	2007
8		Véronique Cortier, Stéphanie Delaune, Graham Steel: A Formal Theory of Key Conjuring. CSF 2007: 79-96
7		Véronique Cortier, Gavin Keighren, Graham Steel: Automatic Analysis of the Security of XOR-Based Key Management Schemes. TACAS 2007: 538-552
	2006
6		Graham Steel, Alan Bundy: Attacking Group Protocols by Refuting Incorrect Inductive Conjectures. J. Autom. Reasoning 36(1-2): 149-176 (2006)
5		Graham Steel: Formal analysis of PIN block attacks. Theor. Comput. Sci. 367(1-2): 257-270 (2006)
	2005
4		Graham Steel: Deduction with XOR Constraints in Security API Modelling. CADE 2005: 322-336
3		Graham Steel: The Importance of Non-theorems and Counterexamples in Program Verification. VSTTE 2005: 491-495
2		Graham Steel, Alan Bundy: Attacking Group Multicast Key Management Protocols Using Coral. Electr. Notes Theor. Comput. Sci. 125(1): 125-144 (2005)
	2004
1		Graham Steel, Alan Bundy, Monika Maidl: Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures. IJCAR 2004: 137-151

Coauthor Index

1	David Aspinall	[14]
2	Matteo Bortolozzo	[18]
3	Alan Bundy	[1] [2] [6]
4	Matteo Centenaro	[12] [18]
5	Véronique Cortier	[7] [8] [11]
6	Morten Dahl	[17] [20]
7	Stéphanie Delaune	[8] [9] [15] [16] [17] [20] [22]
8	Riccardo Focardi	[10] [12] [18] [21]
9	Sibylle B. Fröschle	[13]
10	Gavin Keighren	[7] [14]
11	Robert Knnemann	[24]
12	Steve Kremer	[9] [15] [16] [22] [23] [24]
13	Flaminia L. Luccio	[10] [12] [21]
14	Monika Maidl	[1]
15	Mark Ryan (Mark Dermot Ryan)	[16] [22]
16	Bogdan Warinschi	[23]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page