L Cardelli, AD Gordon

International Conference on Foundations of Software Science and Computation …, 1998

M Abadi, AD Gordon

Proceedings of the 4th ACM Conference on Computer and Communications …, 1997

SP Jones, A Gordon, S Finne

POPL 96, 295-308, 1996

L Cardelli, AD Gordon

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000

AD Gordon, TA Henzinger, AV Nori, SK Rajamani

Future of software engineering proceedings, 167-181, 2014

MY Becker, C Fournet, AD Gordon

Journal of Computer Security 18 (4), 619-665, 2010

AD Gordon, A Jeffrey

Journal of computer security 11 (4), 451-519, 2003

J Bengtson, K Bhargavan, C Fournet, AD Gordon, S Maffeis

ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (2), 1-45, 2011

RJ Boulton, AD Gordon, MJC Gordon, J Harrison, J Herbert, J Van Tassel

TPCD 10, 129-156, 1992

L Cardelli, AD Gordon

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999

M Allamanis, D Tarlow, A Gordon, Y Wei

International conference on machine learning, 2123-2132, 2015

AD Gordon, A Jeffrey

Journal of Computer Security 12 (3-4), 435-483, 2004

M Abadi, AD Gordon

European Symposium on Programming, 12-26, 1998

K Bhargavan, C Fournet, AD Gordon, S Tse

ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (1), 1-61, 2008

L Cardelli, G Ghelli, AD Gordon

Automata, Languages and Programming: 26th International Colloquium, ICALP’99 …, 1999

AD Gordon

Cambridge University Press, 1994

D Syme, A Gordon, JA Forbes, VP Morrison

US Patent 6,851,108, 2005

A Gordon, D Syme, J Forbes, VP Morrison

US Patent 6,560,774, 2003

K Bhargavan, C Fournet, AD Gordon

ACM Sigplan Notices 45 (1), 445-456, 2010

AD Gordon

Electronic Notes in Theoretical Computer Science 1, 232-252, 1995