Andrew D Gordon

Cited by

	All	Since 2017
Citations	15733	2673
h-index	60	24
i10-index	127	59

960

480

240

720

199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202266 92 164 282 337 387 449 595 756 873 944 879 867 824 830 749 671 653 556 582 593 535 487 492 578 480 418 215

Public access

View all

8 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ömDocent in computing science, Uppsala UniversityVerified email at it.uu.se
Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzVerified email at cs.ucsc.edu
Giorgio GhelliVerified email at di.unipi.it
Alan JeffreyRobloxVerified email at roblox.com
Claudio RussoMicrosoft Research LtdVerified 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
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
Charles SuttonGoogle, University of EdinburghVerified email at inf.ed.ac.uk
Silvano Dal ZilioResearcher, LAAS-CNRSVerified email at laas.fr
Jan JürjensUniversität Koblenz-Landau, GermanyVerified email at jurjens.de
Don SymeMicrosoft ResearchVerified email at microsoft.com
Witold CharatonikProfessor of Computer Science, University of WrocławVerified email at cs.uni.wroc.pl
Kevin HammondTechnology Manager, IOHKVerified email at iohk.io
Gavin BiermanOracleVerified email at oracle.com
Michael GreenbergStevens Institute of Technology - Department of Computer ScienceVerified email at stevens.edu

Andrew D Gordon

Microsoft Research and University of Edinburgh

Verified email at microsoft.com - 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	2533	1998
A calculus for cryptographic protocols: The spi calculus M Abadi, AD Gordon Information and computation 148 (1), 1-70, 1999	2071	1999
Mobile ambients L Cardelli, AD Gordon International Conference on Foundations of Software Science and Computation …, 1998	1580	1998
Concurrent haskell SP Jones, A Gordon, S Finne POPL 96, 295-308, 1996	603	1996
Anytime, anywhere: Modal logics for mobile ambients L Cardelli, AD Gordon Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000	510	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	449	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	449	2010
Probabilistic programming AD Gordon, TA Henzinger, AV Nori, SK Rajamani Future of Software Engineering Proceedings, 167-181, 2014	414	2014
Authenticity by typing for security protocols AD Gordon, A Jeffrey Journal of computer security 11 (4), 451-519, 2003	333	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	298	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	280	1992
Types for mobile ambients L Cardelli, AD Gordon Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999	254	1999
Types for mobile ambients L Cardelli, AD Gordon Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999	254	1999
A bisimulation method for cryptographic protocols M Abadi, AD Gordon European Symposium on Programming, 12-26, 1998	211	1998
Types and effects for asymmetric cryptographic protocols AD Gordon, A Jeffrey Journal of Computer Security 12 (3-4), 435-483, 2004	208	2004
Functional programming and input/output AD Gordon Cambridge University Press, 1994	205	1994
Functional programming and input/output AD Gordon Cambridge University Press, 1994	205	1994
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	204	2008
Mobility types for mobile ambients L Cardelli, G Ghelli, AD Gordon International Colloquium on Automata, Languages, and Programming, 230-239, 1999	201	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	183	2015

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 this author

Cited by

Co-authors