Skip to search formSkip to main contentSkip to account menu

Andrew D. Gordon

Andrew D. Gordon is a British computer scientist employed by Microsoft Research. His research interests include programming language design, formal… 
Wikipedia (opens in a new tab)

Related topics

Related topics

16 relations
Access controlActor model and process calculiAmbient calculusCoinduction

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Modelling and Proving Cryptographic Protocols in the Spi Calculus using Coq
The spi calculus is a process algebra used to model cryptographic protocols. A process calculus is a means of modelling a system… 
2013
2013
Formal Verification of Voting and Auction Protocols : From Privacy to Fairness and Verifiability
In this document, we formally analyze security in electronic voting and electronic auctions. On-line voting over is now available… 
2012
2012
Andrew D. Gordon
2011
2011
Robin Milner 1934--2010: verification, languages, and concurrency
A special session of the symposium pays tribute to Robin Milner; the session features talks by Robert Harper (Carnegie Mellon… 
2009
2009
Topics in structural operational semantics
Structural Operational Semantics (SOS) provides a mathematically rigourous way of specifying the semantics of formal (programming… 
2007
2007
Multi-tier programming
  • 2007
  • Corpus ID: 44493249
Multi-tier applications are traditionally designed in the style of a client-server architecture, forcing different parts of the… 
2007
2007
Introduction to special ESOP'05 issue
2007
2007
Sécurité des protocoles cryptographiques : décidabilité et résultats de transfert. (Security of cryptographic protocols: decidability and transfer resultats)
Cette these se situe dans le cadre de l'analyse symbolique des protocoles Les contributions sont representees par l'obtention de… 
2002
2002
Preface - F-WAN: Foundations of Wide Area Network Computing
1985
1985
A natural bi-generic fern hybrid between Christella dentata and Pneumatopteris afra, from Ghana
s 473 frequent, together with A. dolomiticum Love, in at least one hundred localities across the karst plateaus of Lika and… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)