| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis |
Refinement types for secure implementations.  |
ACM Trans. Program. Lang. Syst.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens |
Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Johannes Borgström, Andrew D. Gordon, Riccardo Pucella |
Roles, stacks, histories: A triple for Hoare. |
J. Funct. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon, Robert Harper, John Harrison, Alan Jeffrey, Peter Sewell |
Robin Milner 1934--2010: verification, languages, and concurrency. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Fournet, Karthikeyan Bhargavan, Andrew D. Gordon |
Cryptographic Verification by Typing for a Sample Protocol Implementation. |
FOSAD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | François Dupressoir, Andrew D. Gordon, Jan Jürjens, David A. Naumann |
Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols. |
CSF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ioannis G. Baltopoulos, Johannes Borgström, Andrew D. Gordon |
Maintaining Database Integrity with Refinement Types. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael |
Measure Transformer Semantics for Bayesian Machine Learning. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens |
Extracting and verifying cryptographic models from C protocol code by symbolic execution. |
ACM Conference on Computer and Communications Security |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon |
SecPAL: Design and semantics of a decentralized authorization language. |
Journal of Computer Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon, Cédric Fournet |
Principles and Applications of Refinement Types. |
Logics and Languages for Reliability and Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon |
Modular verification of security protocol code by typing. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
f7, refinement type |
| 1 | Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy |
Semantic subtyping with an SMT solver. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon (eds.) |
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. Proceedings |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon, Hans Hüttel, René Rydhof Hansen |
Type Inference for Correspondence Types. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ioannis G. Baltopoulos, Andrew D. Gordon |
Secure compilation of a multi-tier web language. |
TLDI |
2009 |
DBLP DOI BibTeX RDF |
cryptography, compilers, integrity, type systems, web programming, web application security |
| 1 | Johannes Borgström, Karthikeyan Bhargavan, Andrew D. Gordon |
A compositional theory for STM Haskell. |
Haskell |
2009 |
DBLP DOI BibTeX RDF |
transactional memory, compositional reasoning, ambient calculus |
| 1 | Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon |
Guest Editors' Foreword. |
J. Log. Algebr. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Borgström, Andrew D. Gordon, Andrew Phillips |
A Chart Semantics for the Pi-Calculus. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon |
Verifying policy-based web services security. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Web services, pi calculus, XML security |
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse |
Verified interoperable implementations of security protocols. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Web services, Functional programming, pi calculus, XML security |
| 1 | Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya |
Service Combinators for Farming Virtual Machines. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis |
Refinement Types for Secure Implementations. |
CSF |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Nikhil Swamy |
Verified implementations of the information card federated identity-management protocol. |
ASIACCS |
2008 |
DBLP DOI BibTeX RDF |
cryptographic protocol verification, verified implementations, web services security, federated identity management, CardSpace |
| 1 | Sergio Maffeis, Martín Abadi, Cédric Fournet, Andrew D. Gordon |
Code-Carrying Authorization. |
ESORICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon |
Guest Editors' Foreword. |
J. Log. Algebr. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon |
Guest Editors' Foreword. |
J. Log. Algebr. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Fournet, Andrew D. Gordon, Sergio Maffeis |
A type discipline for authorization policies. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Authorization, type systems, process calculus, spi calculus |
| 1 | Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon |
Secure sessions for Web services. |
ACM Trans. Inf. Syst. Secur. |
2007 |
DBLP DOI BibTeX RDF |
Web services, XML security |
| 1 | Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon |
Design and Semantics of a Decentralized Authorization Language. |
CSF |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya |
Service Combinators for Farming Virtual Machines. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Fournet, Andy Gordon, Sergio Maffeis |
A Type Discipline for Authorization in Distributed Systems. |
CSF |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon |
V for Virtual. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Andrew D. Gordon |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon |
Verified Reference Implementations of WS-Security Protocols. |
WS-FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse |
Verified Interoperable Implementations of Security Protocols. |
CSFW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon |
Provable Implementations of Security Protocols. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marianne Winslett, Andrew D. Gordon, David Sands (eds.) |
Proceedings of the 2006 ACM workshop on Formal methods in security engineering, FMSE 2006, Alexandria, VA, USA, November 3, 2006 |
FMSE |
2006 |
DBLP BibTeX RDF |
|
| 1 | Andrew D. Gordon, Riccardo Pucella |
Validating a web service security abstraction by typing. |
Formal Asp. Comput. |
2005 |
DBLP DOI BibTeX RDF |
Web services, Authentication, Type systems, Remote procedure call |
| 1 | Andrew D. Gordon |
Preface for the Special Issue: Foundations of Software Science and Computation Structures. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon |
A semantics for web services authentication. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon |
Secrecy and group creation. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon |
Deciding validity in a spatial logic for trees. |
J. Funct. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon, Alan Jeffrey |
Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon |
From Typed Process Calculi to Source-Based Security. |
SAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Greg O'Shea |
An advisor for web services security policies. |
SWS |
2005 |
DBLP DOI BibTeX RDF |
policy-driven security, web services, WS-security, XML security |
| 1 | Cédric Fournet, Andrew D. Gordon, Sergio Maffeis |
A Type Discipline for Authorization Policies. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon, Alan Jeffrey |
Types and effects for asymmetric cryptographic protocols. |
Journal of Computer Security |
2004 |
DBLP BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella |
TulaFale: A Security Tool for Web Services |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Andrew D. Gordon, Riccardo Pucella |
Validating a Web Service Security Abstraction by Typing |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon |
A semantics for web services authentication. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
web services, XML security, applied pi calculus |
| 1 | Frédéric Besson, Tomasz Blanc, Cédric Fournet, Andrew D. Gordon |
From Stack Inspection to Access Control: A Security Analysis for Libraries. |
CSFW |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon |
Secure sessions for web services. |
SWS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon |
Verifying policy-based security for web services. |
ACM Conference on Computer and Communications Security |
2004 |
DBLP DOI BibTeX RDF |
web services, pi calculus, XML security |
| 1 | Andrew D. Gordon, Alan Jeffrey |
Authenticity by Typing for Security Protocols. |
Journal of Computer Security |
2003 |
DBLP BibTeX RDF |
|
| 1 | Andrew D. Gordon, Alan Jeffrey |
Typing correspondence assertions for communication protocols. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot |
Model checking mobile ambients. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon, Luca Cardelli |
Equational Properties Of Mobile Ambients. |
Mathematical Structures in Computer Science |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Fournet, Andrew D. Gordon |
Stack inspection: Theory and variants. |
ACM Trans. Program. Lang. Syst. |
2003 |
DBLP DOI BibTeX RDF |
Access control, operational semantics, stack inspection, equational reasoning, contextual equivalence |
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella |
TulaFale: A Security Tool for Web Services. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon |
Deciding validity in a spatial logic for trees. |
TLDI |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon (eds.) |
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, Proceedings |
FoSSaCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon |
Types for the Ambient Calculus. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvano Dal-Zilio, Andrew D. Gordon |
Region analysis and a pi-calculus with groups. |
J. Funct. Program. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon |
Types for Cryptographic Protocols. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Don Syme, Andrew D. Gordon |
Automating Type Soundness Proofs via Decision Procedures and Guided Reductions. |
LPAR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Fournet, Andrew D. Gordon |
Stack inspection: theory and variants. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon, Riccardo Pucella |
Validating a Web service security abstraction by typing. |
XML Security |
2002 |
DBLP DOI BibTeX RDF |
Web services, authentication, type systems, remote procedure call |
| 1 | Andrew D. Gordon |
XML Web Services: The Global Computer? |
IFIP TCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Andrew D. Gordon, Alan Jeffrey |
Types and Effects for Asymmetric Cryptographic Protocols. |
CSFW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon, Alan Jeffrey |
Typing One-to-One and One-to-Many Correspondences in Security Protocols. |
ISSS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, Andrew D. Gordon, Jean-Marc Talbot |
Finite-Control Mobile Ambients. |
ESOP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy Gordon |
Authenticity Types for Cryptographic Protocols. |
FASec |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon, Alan Jeffrey |
Typing Correspondence Assertions for Communication Protocols. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Cardelli, Andrew D. Gordon |
Logical Properties of Name Restriction. |
TLCA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon, Don Syme |
Typing a multi-language intermediate code. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon, Alan Jeffrey |
Authenticity by Typing for Security Protocols. |
CSFW |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon |
Types for Cyphers: Thwarting Mischief and Malice with Type Theory. |
PPDP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Andrew D. Gordon, Alan Jeffrey |
A Type and Effect Analysis of Security Protocols. |
SAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot |
The Complexity of Model Checking Mobile Ambients. |
FoSSaCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Cardelli, Andrew D. Gordon |
Mobile ambients. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon |
Secrecy and Group Creation. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvano Dal-Zilio, Andrew D. Gordon |
Region Analysis and a pi-Calculus wiht Groups. |
MFCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Cardelli, Andrew D. Gordon |
Anytime, Anywhere: Modal Logics for Mobile Ambients. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon |
Notes on Nominal Calculi for Security and Mobility. |
FOSAD |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon |
Ambient Groups and Mobility Types. |
IFIP TCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Cardelli, Andy Gordon, Giorgio Ghelli |
Secrecy, Group Creation. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon |
Bisimilarity as a Theory of Functional Programming. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Roy L. Crole, Andrew D. Gordon |
Relating operational and denotational semantics for input/output effects. |
Mathematical Structures in Computer Science |
1999 |
DBLP BibTeX RDF |
|
| 1 | Martín Abadi, Andrew D. Gordon |
A Calculus for Cryptographic Protocols: The spi Calculus. |
Inf. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen |
Compilation and Equivalence of Imperative Objects. |
J. Funct. Program. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli |
Mobility Types for Mobile Ambients. |
ICALP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Cardelli, Andrew D. Gordon |
Types for Mobile Ambients. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
Java |
| 1 | Andrew D. Gordon, Luca Cardelli |
Equational Properties of Mobile Ambients. |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon, Paul D. Hankin |
A Concurrent Object Calculus: Reduction and Typing. |
Electr. Notes Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Andrew D. Gordon |
A Bisimulation Method for Cryptographic Protocols. |
Nord. J. Comput. |
1998 |
DBLP BibTeX RDF |
|
| 1 | Luca Cardelli, Andrew D. Gordon |
Mobile Ambients. |
FoSSaCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Andrew D. Gordon |
A Bisimulation Method for Cryptographic Protocols. |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Cardelli, Andrew D. Gordon |
Mobile Ambients. |
Electr. Notes Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Andrew D. Gordon |
Reasoning about Cryptographic Protocols in the Spi Calculus. |
CONCUR |
1997 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")