David Gray

Denis Butin, David Gray, Giampaolo Bella: Towards Verifying Voter Privacy through Unlinkability. ESSoS 2013: 91-106

Tracy Hall, Sarah Beecham, David Bowes, David Gray, Steve Counsell: A Systematic Literature Review on Fault Prediction Performance in Software Engineering. IEEE Trans. Software Eng. 38(6): 1276-1304 (2012)

David Bowes, Tracy Hall, David Gray: Comparing the performance of fault prediction models which report multiple performance measures: recomputing the confusion matrix. PROMISE 2012: 109-118

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)

Giampaolo Bella, Denis Butin, David Gray: Holistic analysis of mix protocols. IAS 2011: 338-343

David Gray, Caroline Sheedy: E-Voting: A New Approach Using Double-Blind Identity-Based Encryption. EuroPKI 2010: 93-108

David Gray, David Bowes, Neil Davey, Yi Sun, Bruce Christianson: Software defect prediction using static code metrics underestimates defect-proneness. IJCNN 2010: 1-7

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

Michelle Graham, David Gray: ProVer: A Secure System for the Provision of Verified Location Information. MobiCASE 2009: 366-373

Michelle Graham, David Gray: Protecting Privacy and Securing the Gathering of Location Proofs - The Secure Location Verification Proof Gathering Protocol. MobiSec 2009: 160-171

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

Michelle Graham, David Gray: Can You See Me? The Use of a Binary Visibility Metric in Distance Bounding. WASA 2009: 378-387

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

Cameron Ross Dunne, Thibault Candebat, David Gray: An Access Control Model for Location based Services. WOSIS 2008: 49-58

Jeremy Avigad, Kevin Donnelly, David Gray, Paul Raff: A formally verified proof of the prime number theorem. ACM Trans. Comput. Log. 9(1) (2007)

Thibault Candebat, David Gray: Secure pseudonym management using mediated identity-based encryption. Journal of Computer Security 14(3): 249-267 (2006)

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)

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)

Benjamin Aziz, David Gray, Geoff W. Hamilton: A Static Analysis of PKI-Based Systems. ICTCS 2005: 51-65

Jeremy Avigad, Kevin Donnelly, David Gray, Paul Raff: A formally verified proof of the prime number theorem. CoRR abs/cs/0509025 (2005)

David Sinclair, David Gray, Geoff Hamilton: Synthesising Attacks on Cryptographic Protocols. ATVA 2004: 49-63

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

David Gray: Introduction to the formal design of real-time systems. Applied computing, Springer 1999, isbn 978-3-540-76140-2, pp. I-XIII, 1-461

David Gray, Geoff Hamilton, David Sinclair, J. Paul Gibson, James F. Power: Four Logics and a Protocol. IWFM 1999

David Gray: The Formal Specification of a Small Bookshop Information System. IEEE Trans. Software Eng. 14(2): 263-272 (1988)