Andrew D. Gordon - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Maintaining Database Integrity with Refinement TypesIoannis G. Baltopoulos, Johannes Borgström, Andrew D. Gordon. ECOOP 2011: 484-509 [doi]

Refinement types for secure implementationsJesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis. TOPLAS, 33(2):8, 2011. [doi]

Measure Transformer Semantics for Bayesian Machine LearningJohannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael. ESOP 2011: 77-96 [doi]

Roles, stacks, histories: A triple for HoareJohannes Borgström, Andrew D. Gordon, Riccardo Pucella. JFP, 21(2):159-207, 2011. [doi]

Guiding a General-Purpose C Verifier to Prove Cryptographic ProtocolsFrançois Dupressoir, Andrew D. Gordon, Jan Jürjens, David A. Naumann. csfw 2011: 3-17 [doi]

Robin Milner 1934--2010: verification, languages, and concurrencyAndrew D. Gordon, Robert Harper, John Harrison, Alan Jeffrey, Peter Sewell. POPL 2011: 473-474 [doi]

2010

SecPAL: Design and semantics of a decentralized authorization languageMoritz Y. Becker, Cédric Fournet, Andrew D. Gordon. jcs, 18(4):619-665, 2010. [doi]

Modular verification of security protocol code by typingKarthikeyan Bhargavan, CÃ©dric Fournet, Andrew D. Gordon. POPL 2010: 445-456 [doi]

Semantic subtyping with an SMT solverGavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy. ICFP 2010: 105-116 [doi]

Cryptographic Verification by Typing for a Sample Protocol ImplementationCédric Fournet, Karthikeyan Bhargavan, Andrew D. Gordon. fosad 2011: 66-100 [doi]

Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. ProceedingsAndrew D. Gordon, editor, Volume 6012 of Lecture Notes in Computer Science, Springer, 2010. [doi]

2009

Secure compilation of a multi-tier web languageIoannis G. Baltopoulos, Andrew D. Gordon. tldi 2009: 27-38 [doi]

A compositional theory for STM HaskellJohannes BorgstrÃ¶m, Karthikeyan Bhargavan, Andrew D. Gordon. haskell 2009: 69-80 [doi]

Type Inference for Correspondence TypesAndrew D. Gordon, Hans HÃ¼ttel, RenÃ© Rydhof Hansen. ENTCS, 242(3):21-36, 2009. [doi]

2008

Guest Editors ForewordLuca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon. jlp, 75(1):1-2, 2008. [doi]

Refinement Types for Secure ImplementationsJesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis. csfw 2008: 17-32 [doi]

Service Combinators for Farming Virtual MachinesKarthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya. coordination 2008: 33-49 [doi]

Verifying policy-based web services securityKarthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon. TOPLAS, 30(6), 2008. [doi]

Verified implementations of the information card federated identity-management protocolKarthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Nikhil Swamy. ccs 2008: 123-135 [doi]

Verified interoperable implementations of security protocolsKarthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse. TOPLAS, 31(1), 2008. [doi]

A Chart Semantics for the Pi-CalculusJohannes Borgström, Andrew D. Gordon, Andrew Phillips. ENTCS, 194(2):3-29, 2008. [doi]

Code-Carrying AuthorizationSergio Maffeis, Martín Abadi, Cédric Fournet, Andrew D. Gordon. esorics 2008: 563-579 [doi]

2007

2006

2005

A semantics for web services authenticationKarthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon. TCS, 340(1):102-153, 2005. [doi]

An advisor for web services security policiesKarthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Greg O Shea. sws 2005: 1-9 [doi]

Deciding validity in a spatial logic for treesCristiano Calcagno, Luca Cardelli, Andrew D. Gordon. JFP, 15(4):543-572, 2005. [doi]

Secrecy and group creationLuca Cardelli, Giorgio Ghelli, Andrew D. Gordon. iandc, 196(2):127-155, 2005. [doi]

A Type Discipline for Authorization PoliciesCédric Fournet, Andrew D. Gordon, Sergio Maffeis. ESOP 2005: 141-156 [doi]

Secrecy Despite Compromise: Types, Cryptography, and the Pi-CalculusAndrew D. Gordon, Alan Jeffrey. concur 2005: 186-201 [doi]

Validating a web service security abstraction by typingAndrew D. Gordon, Riccardo Pucella. fac, 17(3):277-318, 2005. [doi]

From Typed Process Calculi to Source-Based SecurityAndrew D. Gordon. SAS 2005: 2 [doi]

Preface for the Special Issue: Foundations of Software Science and Computation StructuresAndrew D. Gordon. TCS, 333(1-2):1, 2005. [doi]

2004

2003

TulaFale: A Security Tool for Web ServicesKarthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella. FMCO 2004: 197-222 [doi]

Deciding validity in a spatial logic for treesCristiano Calcagno, Luca Cardelli, Andrew D. Gordon. tldi 2003: 62-73 [doi]

Model checking mobile ambientsWitold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot. TCS, 308(1-3):277-331, 2003. [doi]

Stack inspection: Theory and variantsCédric Fournet, Andrew D. Gordon. TOPLAS, 25(3):360-399, 2003. [doi]

Equational Properties Of Mobile AmbientsAndrew D. Gordon, Luca Cardelli. mscs, 13(3):371-408, 2003.

Authenticity by Typing for Security ProtocolsAndrew D. Gordon, Alan Jeffrey. jcs, 11(4):451-520, 2003.

Typing correspondence assertions for communication protocolsAndrew D. Gordon, Alan Jeffrey. TCS, 300(1-3):379-409, 2003. [doi]

Foundations of Software Science and Computational Structures, 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, ProceedingsAndrew D. Gordon, editor, Volume 2620 of Lecture Notes in Computer Science, Springer, 2003.

2002

Types for the Ambient CalculusLuca Cardelli, Giorgio Ghelli, Andrew D. Gordon. iandc, 177(2):160-194, 2002. [doi]

Finite-Control Mobile AmbientsWitold Charatonik, Andrew D. Gordon, Jean-Marc Talbot. ESOP 2002: 295-313 [doi]

Region analysis and a pi-calculus with groupsSilvano Dal-Zilio, Andrew D. Gordon. JFP, 12(3):229-292, 2002.

Stack inspection: theory and variantsCédric Fournet, Andrew D. Gordon. POPL 2002: 307-318 [doi]

Validating a Web service security abstraction by typingAndrew D. Gordon, Riccardo Pucella. xmlsec 2002: 18-29 [doi]

XML Web Services: The Global Computer?Andrew D. Gordon. ifipTCS 2002: 355

Types for Cryptographic ProtocolsAndrew D. Gordon. concur 2002: 99-100 [doi]

Types and Effects for Asymmetric Cryptographic ProtocolsAndrew D. Gordon, Alan Jeffrey. csfw 2002: 77-91 [doi]

Typing One-to-One and One-to-Many Correspondences in Security ProtocolsAndrew D. Gordon, Alan Jeffrey. isss2 2003: 263-282 [doi]

Automating Type Soundness Proofs via Decision Procedures and Guided ReductionsDon Syme, Andrew D. Gordon. lpar 2002: 418-434 [doi]

2001

2000

1999

1998

A Bisimulation Method for Cryptographic ProtocolsMartín Abadi, Andrew D. Gordon. ESOP 1998: 12-26 [doi]

A Bisimulation Method for Cryptographic ProtocolsMartín Abadi, Andrew D. Gordon. njc, 5(4):267, 1998.

Mobile AmbientsLuca Cardelli, Andrew D. Gordon. fossacs 1998: 140-155 [doi]

A Concurrent Object Calculus: Reduction and TypingAndrew D. Gordon, Paul D. Hankin. ENTCS, 16(3), 1998. [doi]

1997

1996

Five Axioms of Alpha-ConversionAndrew D. Gordon, Thomas F. Melham. tphol 1996: 173-190

Bisimilarity for a First-Order Calculus of Objects with SubtypingAndrew D. Gordon, Gareth D. Rees. POPL 1996: 386-395 [doi]

1995

Bisimilarity as a theory of functional programmingAndrew D. Gordon. ENTCS, 1, 1995. [doi]

1994

A Sound Metalogical Semantics for Input/Output EffectsRoy L. Crole, Andrew D. Gordon. csl 1995: 339-353

1993

A Mechanisation of Name-Carrying Syntax up to Alpha-ConversionAndrew D. Gordon. tphol 1994: 413-425

An Operational Semantics for I/O in a Lazy Functional LanguageAndrew D. Gordon. fpca 1993: 136-145

PreviousNext