Andrew D Gordon

Cited by

	All	Since 2019
Citations	17321	2916
h-index	65	27
i10-index	148	69

1000

500

250

750

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202462 95 176 284 342 405 459 646 756 888 989 900 889 835 839 748 651 666 567 596 591 560 495 496 592 489 420 437 503 474

Public access

View all

7 articles

0 articles

available

not available

Based on funding mandates

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ömAssociate professor in computing science, Uppsala UniversityVerified email at it.uu.se
Giorgio GhelliVerified email at di.unipi.it
Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzVerified email at cs.ucsc.edu
Simon Peyton JonesEpic GamesVerified email at epicgames.com
Alan JeffreyRobloxVerified email at roblox.com
Charles SuttonGoogle, University of EdinburghVerified email at inf.ed.ac.uk
Claudio RussoMicrosoft Research LtdVerified email at microsoft.com
Aditya NoriMicrosoft ResearchVerified email at microsoft.com
Sergio MaffeisSenior Lecturer (Associate Professor) in Computer Security, Imperial College LondonVerified email at doc.ic.ac.uk
Thore GraepelGlobal Lead Computational Science, AI & ML at Altos Labs and Chair of Machine Learning, UCLVerified email at ucl.ac.uk
Sriram RajamaniMicrosoft Research Verified email at microsoft.com
Jan JürjensUniversität Koblenz-Landau, GermanyVerified email at jurjens.de
Silvano Dal ZilioResearcher, LAAS-CNRSVerified email at laas.fr
Don SymeMicrosoft ResearchVerified email at microsoft.com
Gavin BiermanOracleVerified email at oracle.com
Witold CharatonikProfessor of Computer Science, University of WrocławVerified email at cs.uni.wroc.pl
Daniel TarlowResearch Scientist, Google DeepMind - MontrealVerified email at cs.toronto.edu

Andrew D Gordon

Cogna and University of Edinburgh

Verified email at cogna.co - Homepage

Programming Languages Security Probabilistic Programming Spreadsheets


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	2646	1998
A calculus for cryptographic protocols: The spi calculus M Abadi, AD Gordon Proceedings of the 4th ACM Conference on Computer and Communications …, 1997	2127	1997
Concurrent haskell SP Jones, A Gordon, S Finne POPL 96, 295-308, 1996	642	1996
Anytime, anywhere: Modal logics for mobile ambients L Cardelli, AD Gordon Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000	542	2000
Probabilistic programming AD Gordon, TA Henzinger, AV Nori, SK Rajamani Future of software engineering proceedings, 167-181, 2014	526	2014
SecPAL: Design and semantics of a decentralized authorization language MY Becker, C Fournet, AD Gordon Journal of Computer Security 18 (4), 619-665, 2010	463	2010
Authenticity by typing for security protocols AD Gordon, A Jeffrey Journal of computer security 11 (4), 451-519, 2003	347	2003
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	324	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	307	1992
Types for mobile ambients L Cardelli, AD Gordon Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999	265	1999
Bimodal modelling of source code and natural language M Allamanis, D Tarlow, A Gordon, Y Wei International conference on machine learning, 2123-2132, 2015	263	2015
A bisimulation method for cryptographic protocols M Abadi, AD Gordon European Symposium on Programming, 12-26, 1998	222	1998
Types and effects for asymmetric cryptographic protocols AD Gordon, A Jeffrey Journal of Computer Security 12 (3-4), 435-483, 2004	219	2004
Verified interoperable implementations of security protocols K Bhargavan, C Fournet, AD Gordon, S Tse ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (1), 1-61, 2008	218	2008
Mobility types for mobile ambients L Cardelli, G Ghelli, AD Gordon Automata, Languages and Programming: 26th International Colloquium, ICALP’99 …, 1999	212	1999
Functional programming and input/output AD Gordon Cambridge University Press, 1994	210	1994
Verifying intermediate language code D Syme, A Gordon, JA Forbes, VP Morrison US Patent 6,851,108, 2005	191	2005
Verifier to check intermediate language A Gordon, D Syme, J Forbes, VP Morrison US Patent 6,560,774, 2003	183	2003
Modular verification of security protocol code by typing K Bhargavan, C Fournet, AD Gordon ACM Sigplan Notices 45 (1), 445-456, 2010	172	2010
Bisimilarity as a theory of functional programming AD Gordon Electronic Notes in Theoretical Computer Science 1, 232-252, 1995	164	1995

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

Follow

Cited by

Co-authors