Andrew D Gordon

Cited by

	All	Since 2016
Citations	15291	2701
h-index	59	26
i10-index	127	56

980

490

245

735

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202163 90 150 264 320 396 449 608 757 856 974 899 879 832 848 764 674 653 564 570 587 546 482 502 585 470 116

Public access

View all

6 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
Giorgio GhelliVerified email at di.unipi.it
Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzVerified email at cs.ucsc.edu
Simon Peyton JonesMicrosoft ResearchVerified email at microsoft.com
Alan JeffreyRobloxVerified email at roblox.com
Sergio MaffeisSenior Lecturer (Associate Professor) in Computer Security, Imperial College LondonVerified email at doc.ic.ac.uk
Claudio RussoMicrosoft Research LtdVerified email at microsoft.com
Aditya NoriMicrosoft ResearchVerified 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
Don SymeMicrosoft ResearchVerified email at microsoft.com
Jan JürjensUniversität Koblenz-Landau, GermanyVerified email at jurjens.de
Charles SuttonGoogle, University of EdinburghVerified email at inf.ed.ac.uk
Kevin HammondTechnology Manager, IOHKVerified email at iohk.io
Witold CharatonikProfessor of Computer Science, University of WrocławVerified email at cs.uni.wroc.pl
Gavin BiermanOracleVerified email at oracle.com

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	2499	1998
A calculus for cryptographic protocols: The spi calculus M Abadi, AD Gordon Information and computation 148 (1), 1-70, 1999	2029	1999
Mobile ambients L Cardelli, AD Gordon International Conference on Foundations of Software Science and Computation …, 1998	1570	1998
Concurrent haskell SP Jones, A Gordon, S Finne POPL 96, 295-308, 1996	584	1996
Anytime, anywhere: Modal logics for mobile ambients L Cardelli, AD Gordon Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000	505	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	439	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	439	2010
Probabilistic programming AD Gordon, TA Henzinger, AV Nori, SK Rajamani Future of Software Engineering Proceedings, 167-181, 2014	346	2014
Authenticity by typing for security protocols 1 AD Gordon, A Jeffrey Journal of computer security 11 (4), 451-519, 2003	327	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	281	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	266	1992
Types for mobile ambients L Cardelli, AD Gordon Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999	257	1999
Types for mobile ambients L Cardelli, AD Gordon Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999	257	1999
A bisimulation method for cryptographic protocols M Abadi, AD Gordon European Symposium on Programming, 12-26, 1998	212	1998
Types and effects for asymmetric cryptographic protocols AD Gordon, A Jeffrey Journal of Computer Security 12 (3-4), 435-483, 2004	211	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	204	2008
Mobility types for mobile ambients L Cardelli, G Ghelli, AD Gordon International Colloquium on Automata, Languages, and Programming, 230-239, 1999	203	1999
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
Verifier to check intermediate language A Gordon, D Syme, J Forbes, VP Morrison US Patent 6,560,774, 2003	181	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