Andrew D Gordon - Google Scholar

Cited by

	All	Since 2015
Citations	14923	2919
h-index	59	28
i10-index	120	59

980

490

245

735

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202066 94 143 266 325 414 466 609 762 857 965 912 888 823 856 749 678 657 559 567 584 520 477 499 588 251

Co-authors

Cédric FournetMicrosoft ResearchVerified email at microsoft.com
Luca CardelliUniversity of OxfordVerified email at cs.ox.ac.uk
Karthikeyan BhargavanINRIAVerified email at inria.fr
Johannes BorgströmDocent in computing science, Uppsala UniversityVerified email at it.uu.se
Giorgio GhelliVerified email at di.unipi.it
Martin AbadiPrincipal Scientist, Google, and Professor Emeritus, UC Santa CruzVerified email at cs.ucsc.edu
Alan JeffreyMozilla ResearchVerified email at mozilla.com
Simon Peyton JonesMicrosoft ResearchVerified email at microsoft.com
Sergio MaffeisSenior Lecturer (Associate Professor) in Computer Security, Imperial College LondonVerified email at doc.ic.ac.uk
Aditya NoriMicrosoft ResearchVerified email at microsoft.com
Claudio RussoMicrosoft Research LtdVerified email at microsoft.com
Thore GraepelResearch Scientist, Google DeepMind, and Professor of Computer Science, UCLVerified email at ucl.ac.uk
Sriram RajamaniMicrosoft Research Verified email at microsoft.com
Silvano Dal ZilioResearcher, LAAS-CNRSVerified email at laas.fr
Jan JürjensUniversität Koblenz-LandauVerified email at jurjens.de
Don SymeMicrosoft ResearchVerified email at microsoft.com
Kevin HammondTechnology Manager, IOHKVerified email at iohk.io
Gavin BiermanOracleVerified email at oracle.com
Charles SuttonGoogle, University of EdinburghVerified email at inf.ed.ac.uk
Witold CharatonikProfessor of Computer Science, University of WrocławVerified email at cs.uni.wroc.pl

Andrew D Gordon

Microsoft Research and University of Edinburgh

Verified email at microsoft.com - Homepage

Programming Languages Security Probabilistic Programming


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Mobile ambients L Cardelli, AD Gordon International Conference on Foundations of Software Science and Computation …, 1998	2436	1998
A calculus for cryptographic protocols: The spi calculus M Abadi, AD Gordon Information and computation 148 (1), 1-70, 1999	1999	1999
Mobile ambients L Cardelli, AD Gordon International Conference on Foundations of Software Science and Computation …, 1998	1548	1998
Concurrent haskell SP Jones, A Gordon, S Finne POPL 96, 295-308, 1996	568	1996
Anytime, anywhere: Modal logics for mobile ambients L Cardelli, AD Gordon Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000	496	2000
SecPAL: Design and semantics of a decentralized authorization language MY Becker, C Fournet, AD Gordon Journal of Computer Security 18 (4), 619-665, 2010	416	2010
SecPAL: Design and semantics of a decentralized authorization language MY Becker, C Fournet, AD Gordon Journal of Computer Security 18 (4), 619-665, 2010	416	2010
Authenticity by typing for security protocols 1 AD Gordon, A Jeffrey Journal of computer security 11 (4), 451-519, 2003	318	2003
Probabilistic programming AD Gordon, TA Henzinger, AV Nori, SK Rajamani Proceedings of the on Future of Software Engineering, 167-181, 2014	308	2014
Refinement types for secure implementations J Bengtson, K Bhargavan, C Fournet, AD Gordon, S Maffeis ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (2), 1-45, 2011	270	2011
Experience with embedding hardware description languages in HOL. RJ Boulton, AD Gordon, MJC Gordon, J Harrison, J Herbert, J Van Tassel TPCD 10, 129-156, 1992	267	1992
Types for mobile ambients L Cardelli, AD Gordon Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999	255	1999
Types for mobile ambients L Cardelli, AD Gordon Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999	255	1999
A bisimulation method for cryptographic protocols M Abadi, AD Gordon European Symposium on Programming, 12-26, 1998	206	1998
Mobility types for mobile ambients L Cardelli, G Ghelli, AD Gordon International Colloquium on Automata, Languages, and Programming, 230-239, 1999	204	1999
Types and effects for asymmetric cryptographic protocols AD Gordon, A Jeffrey Journal of Computer Security 12 (3-4), 435-483, 2004	200	2004
Functional programming and input/output AD Gordon Cambridge University Press, 1994	199	1994
Functional programming and input/output AD Gordon Cambridge University Press, 1994	199	1994
Verified interoperable implementations of security protocols K Bhargavan, C Fournet, AD Gordon, S Tse 19th IEEE Computer Security Foundations Workshop (CSFW'06), 14 pp.-152, 2006	194	2006
Verifier to check intermediate language A Gordon, D Syme, J Forbes, VP Morrison US Patent 6,560,774, 2003	178	2003

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors