Computing

Research Interests:

Computer Security; Security Protocols; Public Key Cryptography; Public Key Infrastructures; Identity-Based Signatures; Provable Security; Formal Methods

Selected Peer Reviewed Journals

• Thibault Candebat and David Gray. 2006. Secure Pseudonym Management using Mediated Identity-Based Cryptography. Journal Of Computer Security, 14, 3, pp249-267.
• B. Aziz, G.W. Hamilton and D. Gray. 2005. A Static Analysis of Cryptographic Processes: The Denotational Approach. Journal Of Logic And Algebraic Programming, 64, 2, pp285-320.
• B. Aziz, G.W. Hamilton and D. Gray. 2005. A Denotational Approach to the Static Analysis of Cryptographic Processes. Electronic Notes In Theoretical Computer Science, 118, , pp19-36.
• R. Nicholl, M. Clint, D. Gray and T. Nicholl. 1990. The use of functional annotation in verifying imperative programs. Iee Software Engineering Journal, 5, 5, pp280-288.
• David Gray. 1988. The formal specification of a Small Bookshop Information System. Ieee Transactions On Software Engineering, 14, 2, pp263-272.
• David Gray. 1987. A Pedagogical Verification Condition Generator. The Computer Journal, 30, 3, pp239-248.

• Butin, D. and Gray, D. and Bella, G., Towards Verifying Voter Privacy Through Unlinkability, ESSoS13-International Symposium on Engineering Secure Software and Systems-2013, 27-FEB-13 - 01-MAR-13, Paris (Rocquencourt), France
• Giampaolo Bella, Denis Butin and David Gray, Holistic Analysis of Mix Protocols, The 7th International Conference on Information Assurance and Security, 05-DEC-11 - 08-DEC-11, Melaka, Malaysia
• David Gray, The security of Lee and Chang's t-out-of-n lottery protocol, 2010 China-Ireland International Conference on Information and Communications Technologies (CIICT 2010), 10-OCT-10 - 11-OCT-10, Wuhan, China
• David Gray and Caroline Sheedy, E-Voting: a new approach using Double-Blind identity-Based Encryption, 7th European Workshop on Public Key Infrastructures, Services and Applications (EuroPKI 2010), 23-SEP-10 - 24-SEP-10, Athens, Greece
• Michelle Graham and David Gray, ProVer: A Secure System for the Provision of Verified Location Information, MobiCase '09 : Workshop on Innovative Mobile User Interactivity, 26-OCT-09 - 29-OCT-09, San Diego, California, USA
• Michelle Graham and David Gray, Can You See Me? - The Use of a Binary Visibility Metric in Distance Bounding, International Conference on Wireless Algorithms, Systems and Applications, 16-AUG-09 - 18-AUG-09, Boston, USA
• Michelle Graham and David Gray, Protecting Privacy & Securing the Gathering of Location Proofs - the Secure Location Verification Proof Gathering Protocol, The First International ICST Conference on Security and Privacy in Mobile Information and Communication Systems, MobiSec 2009, 03-JUN-09 - 05-JUN-09, Turin, Italy
• Cameron Ross Dunne, Thibault Candebat and David Gray, A frequency based sighting blurring algorithm for use with location based services on the internet, In: G. Henri ter Hofte, Ingrid Mulder and Boris E. R. de Ruyter ed.Proceedings of the 10th Conference on Human-Computer Interaction with Mobile Devices and Services, Mobile HCI 2008, 03-SEP-08 - 05-SEP-08, Amsterdam, 3 - 12
• Cameron Ross Dunne, Thibault Candebat and David Gray, A three-party architecture and protocol that supports users with multiple identities for use with location based services, In: ACM ed.ICPS '08: Proceedings of the 5th international conference on Pervasive services, 06-JUL-08 - 10-JUL-08, Sorrento, 1 - 10
• Cameron Ross Dunne, Thibault Candebat and David Gray, An Access Control Model for Location based Services, In: Alfonso Rodriguez, Mariemma Inmaculada Yague del Valle and Eduardo Fernandez-Medina ed.Security in Information Systems, Proceedings of the 6th International Workshop on Security in Information Systems,, WOSIS 2008, 12-JUN-08 - 13-JUN-08, , 49 - 58
• Thibault Candebat, Cameron Ross Dunne and David Gray, Pseudonym Management using Mediated Identity-Based Cryptography, Proceedings of 2005 ACM Workshop on Digital Identity Management (DIM'05) , 11-NOV-05 - , Fairfax, Virginia, USA
• B. Aziz, D. Gray and G.W. Hamilton, A Static Analysis of PKI-Based Systems, Ninth Italian Conference on Theoretical Computer Science, Lecture Notes in Computer Science LNCS 3701, 12-OCT-05 - 14-OCT-05, Siena, Italy, 51 - 65
• D. Sinclair, D. Gray and G.W. Hamilton, Synthesising Attacks on Cryptographic Protocols, 2nd International Conference on Automated Technology for Verification and Analysis (ATVA 2004), Lecture Notes in Computer Science LNCS 3299, 31-OCT-04 - 03-NOV-04, Taipei, Taiwan, 49 - 63
• D. Gray, B. Aziz and G.W. Hamilton, SPIKY: A Nominal Calculus for Modelling Protocols that use PKIs , International Workshop on Security Analysis of Systems: Formalism and Tools, 21-JUN-04 - 22-JUN-04, Orleans, France
• B. Aziz, G.W. Hamilton and D. Gray, A Denotational Approach to Static Analysis of Cryptographic Processes, In: Sandro Etalle, Supratik Mukhopadhyay and Abhik Roychoudhury ed.International Workshop on Software Verification and Validation , 14-DEC-03 - 14-DEC-03, Mumbai, India, 19 - 36
• Thibault Candebat, Cameron Ross Dunne and David Gray, Security and Privacy for Location Based Services, International Symposium on Information and Communication Technologies, 24-SEP-03 - 26-SEP-03, Trinity College Dublin, Ireland
• David Gray, Anonymous Coursework Submission, CompSysTech '03: Proceedings of the 4th international conference conference on Computer systems and technologies, 18-JUN-03 - 22-JUN-03, Sofia, Bulgaria, 556 - 561
• Thibault Candebat, Cameron Ross Dunne and David Gray, The Orient Platform: A Secure Infrastructure for Location Based Services on the Internet, IEI/IEEE Irish Telecommunications System Research Symposium 2003, 06-MAY-03 - 06-MAY-03, Dublin, Ireland
• Benyamin Aziz, David Gray, Geoff Hamilton, Frederic Oehl and David Sinclair, Implementing Protocol Verification for E-Commerce, Advances in Infrastructure for Electronic Business, Science, and Education on the Internet , 06-AUG-01 - 12-AUG-01, L'Aquila, Italy
• David Gray, Geoff Hamilton, James Power and David Sinclair, A Specification of TCP/IP using Mixed Intuitionistic Linear Logic , IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems, 18-APR-01 - 20-APR-01, Washington DC
• John Waldron, Charlie Daly, David Gray and Jane Horgan, Comparison of Factors Influencing Bytecode Usage in the Java Virtual Machine, Second International Conference and Exhibition on the Practical Application of Java, 12-APR-00 - 14-APR-00, Manchester, UK, 315 - 327
• David Sinclair, James Power, Paul Gibson, David Gray and Geoff Hamilton, Specifying and Verifying IP with Linear Logic, IEEE International Workshop on Distributed Systems Validation and Verification, 10-APR-00 - 10-APR-00, Taipei, Taiwan
• David Sinclair, James Power, Paul Gibson, David Gray and Geoff Hamilton, Four Logics and a Protocol, 3rd. Irish Workshop in Formal Methods, 01-JUL-99 - 02-JUL-99, Galway, Ireland