David Gray

	2011
22		Giampaolo Bella, Denis Butin, David Gray: Holistic analysis of mix protocols. IAS 2011: 338-343
21		Tracy Hall, Sarah Beecham, David Bowes, David Gray, Steve Counsell: Developing Fault-Prediction Models: What the Research Can Show Industry. IEEE Software 28(6): 96-99 (2011)
	2010
20		David Gray, Caroline Sheedy: E-Voting: A New Approach Using Double-Blind Identity-Based Encryption. EuroPKI 2010: 93-108
19		Yi Sun, Lun Tak Lam, Gary P. Moss, Maria Prapopoulou, Rod Adams, Neil Davey, David Gray, Marc B. Brown: Predicting drug absorption rates through human skin. IJCNN 2010: 1-5
18		David Gray, David Bowes, Neil Davey, Yi Sun, Bruce Christianson: Software defect prediction using static code metrics underestimates defect-proneness. IJCNN 2010: 1-7
	2009
17		Michelle Graham, David Gray: ProVer: A Secure System for the Provision of Verified Location Information. MobiCASE 2009: 366-373
16		Michelle Graham, David Gray: Protecting Privacy and Securing the Gathering of Location Proofs - The Secure Location Verification Proof Gathering Protocol. MobiSec 2009: 160-171
15		Hai Wei, Sakina Zabuawala, Karthik M. Varadarajan, Jacob Yadegar, Joseph Yadegar, David Gray, John McCalmont, James Utt: Adaptive pattern-based image compression for ultra-low bandwidth weapon seeker image communication. Visual Information Processing 2009: 73410
14		Michelle Graham, David Gray: Can You See Me? The Use of a Binary Visibility Metric in Distance Bounding. WASA 2009: 378-387
	2008
13		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
12		Cameron Ross Dunne, Thibault Candebat, David Gray: An Access Control Model for Location based Services. WOSIS 2008: 49-58
	2007
11		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
10		Thibault Candebat, David Gray: Secure pseudonym management using mediated identity-based encryption. Journal of Computer Security 14(3): 249-267 (2006)
	2005
9		Benjamin Aziz, David Gray, Geoff W. Hamilton: A Static Analysis of PKI-Based Systems. ICTCS 2005: 51-65
8		Jeremy Avigad, Kevin Donnelly, David Gray, Paul Raff: A formally verified proof of the prime number theorem CoRR abs/cs/0509025: (2005)
7		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)
6		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
5		David Sinclair, David Gray, Geoff Hamilton: Synthesising Attacks on Cryptographic Protocols. ATVA 2004: 49-63
	2000
4		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
3		David Gray: Introduction to the formal design of real-time systems. Springer 1999: I-XIII, 1-461
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	Rod Adams	[19]
2	Jeremy Avigad	[8] [11]
3	Benjamin Aziz	[6] [7] [9]
4	Sarah Beecham	[21]
5	Giampaolo Bella	[22]
6	David Bowes	[18] [21]
7	Marc B. Brown	[19]
8	Denis Butin	[22]
9	Thibault Candebat	[10] [12] [13]
10	Bruce Christianson	[18]
11	Steve Counsell	[21]
12	Neil Davey	[18] [19]
13	Kevin Donnelly	[8] [11]
14	Cameron Ross Dunne	[12] [13]
15	J. Paul Gibson	[2] [4]
16	Michelle Graham	[14] [16] [17]
17	Tracy Hall	[21]
18	Geoff W. Hamilton (Geoff Hamilton)	[2] [4] [5] [6] [7] [9]
19	Lun Tak Lam	[19]
20	John McCalmont	[15]
21	Gary P. Moss	[19]
22	James F. Power	[2] [4]
23	Maria Prapopoulou	[19]
24	Paul Raff	[8] [11]
25	Caroline Sheedy	[20]
26	David Sinclair	[2] [4] [5]
27	Yi Sun	[18] [19]
28	James Utt	[15]
29	Karthik M. Varadarajan	[15]
30	Hai Wei	[15]
31	Jacob Yadegar	[15]
32	Joseph Yadegar	[15]
33	Sakina Zabuawala	[15]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page