David Gray

	2009
14		Michelle Graham, David Gray: Protecting Privacy and Securing the Gathering of Location Proofs - The Secure Location Verification Proof Gathering Protocol. MobiSec 2009: 160-171
13		Michelle Graham, David Gray: Can You See Me? The Use of a Binary Visibility Metric in Distance Bounding. WASA 2009: 378-387
	2008
12		Cameron Ross Dunne, Thibault Candebat, David Gray: A frequency based sighting blurring algorithm for use with location based services on the internet. Mobile HCI 2008: 3-12
11		Cameron Ross Dunne, Thibault Candebat, David Gray: An Access Control Model for Location based Services. WOSIS 2008: 49-58
	2007
10		Jeremy Avigad, Kevin Donnelly, David Gray, Paul Raff: A formally verified proof of the prime number theorem. ACM Trans. Comput. Log. 9(1): (2007)
	2006
9		Thibault Candebat, David Gray: Secure pseudonym management using mediated identity-based encryption. Journal of Computer Security 14(3): 249-267 (2006)
	2005
8		Benjamin Aziz, David Gray, Geoff W. Hamilton: A Static Analysis of PKI-Based Systems. ICTCS 2005: 51-65
7		Jeremy Avigad, Kevin Donnelly, David Gray, Paul Raff: A formally verified proof of the prime number theorem CoRR abs/cs/0509025: (2005)
6		Benjamin Aziz, Geoff W. Hamilton, David Gray: A Denotational Approach to the Static Analysis of Cryptographic Processes. Electr. Notes Theor. Comput. Sci. 118: 19-36 (2005)
5		Benjamin Aziz, Geoff W. Hamilton, David Gray: A static analysis of cryptographic processes: the denotational approach. J. Log. Algebr. Program. 64(2): 285-320 (2005)
	2004
4		David Sinclair, David Gray, Geoff Hamilton: Synthesising Attacks on Cryptographic Protocols. ATVA 2004: 49-63
	2000
3		David Sinclair, James F. Power, J. Paul Gibson, David Gray, Geoff Hamilton: Specifying and Verifying IP with Linear Logic. ICDCS Workshop on Distributed System Validation and Verification 2000: E104-E110
	1999
2		David Gray, Geoff Hamilton, David Sinclair, J. Paul Gibson, James F. Power: Four Logics and a Protocol. IWFM 1999
	1988
1		David Gray: The Formal Specification of a Small Bookshop Information System. IEEE Trans. Software Eng. 14(2): 263-272 (1988)

Coauthor Index

1	Jeremy Avigad	[7] [10]
2	Benjamin Aziz	[5] [6] [8]
3	Thibault Candebat	[9] [11] [12]
4	Kevin Donnelly	[7] [10]
5	Cameron Ross Dunne	[11] [12]
6	J. Paul Gibson	[2] [3]
7	Michelle Graham	[13] [14]
8	Geoff W. Hamilton (Geoff Hamilton)	[2] [3] [4] [5] [6] [8]
9	James F. Power	[2] [3]
10	Paul Raff	[7] [10]
11	David Sinclair	[2] [3] [4]

Colors in the list of coauthors