2008 |
12 | EE | 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 | EE | 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 | EE | Thibault Candebat,
David Gray:
Secure pseudonym management using mediated identity-based encryption.
Journal of Computer Security 14(3): 249-267 (2006) |
2005 |
8 | EE | Benjamin Aziz,
David Gray,
Geoff W. Hamilton:
A Static Analysis of PKI-Based Systems.
ICTCS 2005: 51-65 |
7 | EE | Jeremy Avigad,
Kevin Donnelly,
David Gray,
Paul Raff:
A formally verified proof of the prime number theorem
CoRR abs/cs/0509025: (2005) |
6 | EE | 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 | EE | 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 | EE | 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 | EE | David Gray:
The Formal Specification of a Small Bookshop Information System.
IEEE Trans. Software Eng. 14(2): 263-272 (1988) |