Search for publications:
Home
Publications
About
Login
Activate Account
Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Andrew D.
    Last name: Gordon
    DBLP: g/AndrewDGordon
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 100 of 113  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgström, Guillaume Claret, Thore Graepel, Aditya V. Nori, Sriram K. Rajamani, Claudio V. Russo.
    A model-learner pattern for bayesian reasoning.     		The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013 2013 (0) 2013
    Conference paper
    Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio V. Russo.
    Deriving Probability Density Functions from Probabilistic Functional Programs.     		Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens.
    Computational verification of C protocol implementations by symbolic execution.     		the ACM Conference on Computer and Communications Security, CCS'12, Raleigh, NC, USA, October 16-18, 2012 2012 (0) 2012
    Conference paper
    Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy.
    Semantic subtyping with an SMT solver.     		J. Funct. Program. 2012, Volume 22 (0) 2012
    Conference paper
    Andrew D. Gordon, Robert Harper, John Harrison, Alan Jeffrey, Peter Sewell.
    Robin Milner 1934--2010: verification, languages, and concurrency.     		Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011 2011 (0) 2011
    Conference paper
    Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael.
    Measure Transformer Semantics for Bayesian Machine Learning.     		Programming Languages and Systems - 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis.
    Refinement types for secure implementations.     		ACM Trans. Program. Lang. Syst. 2011, Volume 33 (0) 2011
    Journal article
    Johannes Borgström, Andrew D. Gordon, Riccardo Pucella.
    Roles, stacks, histories: A triple for Hoare.     		J. Funct. Program. 2011, Volume 21 (0) 2011
    Journal article
    Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens.
    Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution     		CoRR 2011, Volume 0 (0) 2011
    Conference paper
    Ioannis G. Baltopoulos, Johannes Borgström, Andrew D. Gordon.
    Maintaining Database Integrity with Refinement Types.     		ECOOP 2011 - Object-Oriented Programming - 25th European Conference, Lancaster, UK, July 25-29, 2011 Proceedings 2011 (0) 2011
    Conference paper
    François Dupressoir, Andrew D. Gordon, Jan Jürjens, David A. Naumann.
    Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols.     		Proceedings of the 24th IEEE Computer Security Foundations Symposium, CSF 2011, Cernay-la-Ville, France, 27-29 June, 2011 2011 (0) 2011
    Conference paper
    Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens.
    Extracting and verifying cryptographic models from C protocol code by symbolic execution.     		Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011 2011 (0) 2011
    Conference paper
    Mihhail Aizatulin, François Dupressoir, Andrew D. Gordon, Jan Jürjens.
    Verifying Cryptographic Code in C: Some Experience and the Csec Challenge.     		Formal Aspects of Security and Trust - 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers 2012 (0) 2011
    Conference paper
    Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon.
    SecPAL: Design and semantics of a decentralized authorization language.     		Journal of Computer Security 2010, Volume 18 (0) 2010
    Conference paper
    Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy.
    Semantic subtyping with an SMT solver.     		Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010 2010 (0) 2010
    Conference paper
    Cédric Fournet, Karthikeyan Bhargavan, Andrew D. Gordon.
    Cryptographic Verification by Typing for a Sample Protocol Implementation.     		Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures 2011 (0) 2010
    Book chapter
    Andrew D. Gordon, Cédric Fournet.
    Principles and Applications of Refinement Types.     		Logics and Languages for Reliability and Security 2010, Volume 25 (0) 2010
    Conference paper
    Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon.
    Modular verification of security protocol code by typing.     		Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010 2010 (0) 2010
    Conference paper
    Aybek Mukhamedov, Andrew D. Gordon, Mark Ryan.
    Towards a Verified Reference Implementation of a Trusted Platform Module.     		Security Protocols XVII, 17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised Selected Papers 2013 (0) 2009
    Conference paper
    Ioannis G. Baltopoulos, Andrew D. Gordon.
    Secure compilation of a multi-tier web language.     		Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009 2009 (0) 2009
    Conference paper
    Andrew D. Gordon, Hans Hüttel, René Rydhof Hansen.
    Type Inference for Correspondence Types.     		Electr. Notes Theor. Comput. Sci. 2009, Volume 242 (0) 2009
    Conference paper
    Johannes Borgström, Karthikeyan Bhargavan, Andrew D. Gordon.
    A compositional theory for STM Haskell.     		Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, Edinburgh, Scotland, UK, 3 September 2009 2009 (0) 2009
    Conference paper
    Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Nikhil Swamy.
    Verified implementations of the information card federated identity-management protocol.     		Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, ASIACCS 2008, Tokyo, Japan, March 18-20, 2008 2008 (0) 2008
    Conference paper
    Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya.
    Service Combinators for Farming Virtual Machines.     		Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings 2008 (0) 2008
    Conference paper
    Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis.
    Refinement Types for Secure Implementations.     		Proceedings of the 21st IEEE Computer Security Foundations Symposium, CSF 2008, Pittsburgh, Pennsylvania, 23-25 June 2008 2008 (0) 2008
    Conference paper
    Sergio Maffeis, Martín Abadi, Cédric Fournet, Andrew D. Gordon.
    Code-Carrying Authorization.     		Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings 2008 (0) 2008
    Conference paper
    Johannes Borgström, Andrew D. Gordon, Andrew Phillips.
    A Chart Semantics for the Pi-Calculus.     		Electr. Notes Theor. Comput. Sci. 2008, Volume 194 (0) 2008
    Conference paper
    Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon.
    Guest Editors' Foreword.     		J. Log. Algebr. Program. 2008, Volume 75 (0) 2008
    Conference paper
    Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon.
    Verifying policy-based web services security.     		ACM Trans. Program. Lang. Syst. 2007, Volume 30 (0) 2008
    Conference paper
    Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse.
    Verified interoperable implementations of security protocols.     		ACM Trans. Program. Lang. Syst. 2009, Volume 31 (0) 2008
    Conference paper
    Cédric Fournet, Andrew D. Gordon, Sergio Maffeis.
    A Type Discipline for Authorization in Distributed Systems.     		20th IEEE Computer Security Foundations Symposium, CSF 2007, 6-8 July 2007, Venice, Italy 2007 (0) 2007
    Conference paper
    Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon.
    Design and Semantics of a Decentralized Authorization Language.     		20th IEEE Computer Security Foundations Symposium, CSF 2007, 6-8 July 2007, Venice, Italy 2007 (0) 2007
    Conference paper
    Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya.
    Service Combinators for Farming Virtual Machines.     		Trustworthy Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers 2008 (0) 2007
    Conference paper
    Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon.
    Guest Editors' Foreword.     		J. Log. Algebr. Program. 2007, Volume 70 (0) 2007
    Conference paper
    Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon.
    Guest Editors' Foreword.     		J. Log. Algebr. Program. 2007, Volume 72 (0) 2007
    Conference paper
    Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon.
    Secure sessions for Web services.     		ACM Trans. Inf. Syst. Secur. 2007, Volume 10 (0) 2007
    Conference paper
    Cédric Fournet, Andrew D. Gordon, Sergio Maffeis.
    A type discipline for authorization policies.     		ACM Trans. Program. Lang. Syst. 2007, Volume 29 (0) 2007
    Conference paper
    Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse.
    Verified Interoperable Implementations of Security Protocols.     		19th IEEE Computer Security Foundations Workshop, (CSFW-19 2006), 5-7 July 2006, Venice, Italy 2006 (0) 2006
    Conference paper
    Andrew D. Gordon.
    Provable Implementations of Security Protocols.     		21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings 2006 (0) 2006
    Conference paper
    Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon.
    Verified Reference Implementations of WS-Security Protocols.     		Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings 2006 (0) 2006
    Conference paper
    Luca Aceto, Andrew D. Gordon.
    Preface.     		Electr. Notes Theor. Comput. Sci. 2006, Volume 162 (0) 2006
    Conference paper
    Andrew D. Gordon.
    V for Virtual.     		Electr. Notes Theor. Comput. Sci. 2006, Volume 162 (0) 2006
    Conference paper
    Andrew D. Gordon, Alan Jeffrey.
    Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus.     		CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings 2005 (0) 2005
    Conference paper
    Cédric Fournet, Andrew D. Gordon, Sergio Maffeis.
    A Type Discipline for Authorization Policies.     		Programming Languages and Systems, 14th European Symposium on Programming,ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings 2005 (0) 2005
    Conference paper
    Andrew D. Gordon.
    From Typed Process Calculi to Source-Based Security.     		Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings 2005 (0) 2005
    Conference paper
    Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Greg O'Shea.
    An advisor for web services security policies.     		Proceedings of the 2nd ACM Workshop On Secure Web Services, SWS 2005, Fairfax, VA, USA, November 11, 2005 2005 (0) 2005
    Conference paper
    Andrew D. Gordon, Riccardo Pucella.
    Validating a web service security abstraction by typing.     		Formal Asp. Comput. 2005, Volume 17 (0) 2005
    Conference paper
    Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon.
    Secrecy and group creation.     		Inf. Comput. 2005, Volume 196 (0) 2005
    Conference paper
    Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon.
    Deciding validity in a spatial logic for trees.     		J. Funct. Program. 2005, Volume 15 (0) 2005
    Conference paper
    Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon.
    A semantics for web services authentication.     		Theor. Comput. Sci. 2005, Volume 340 (0) 2005
    Conference paper
    Andrew D. Gordon.
    Preface for the Special Issue: Foundations of Software Science and Computation Structures.     		Theor. Comput. Sci. 2005, Volume 333 (0) 2005
    Conference paper
    Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon.
    Verifying policy-based security for web services.     		Proceedings of the 11th ACM Conference on Computer and Communications Security, CCS 2004, Washington, DC, USA, October 25-29, 2004 2004 (0) 2004
    Conference paper
    Frédéric Besson, Tomasz Blanc, Cédric Fournet, Andrew D. Gordon.
    From Stack Inspection to Access Control: A Security Analysis for Libraries.     		17th IEEE Computer Security Foundations Workshop, (CSFW-17 2004), 28-30 June 2004, Pacific Grove, CA, USA 2004 (0) 2004
    Conference paper
    Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon.
    A semantics for web services authentication.     		Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004 2004 (0) 2004
    Conference paper
    Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon.
    Secure sessions for web services.     		Proceedings of the 1st ACM Workshop On Secure Web Services, SWS 2004, Fairfax, VA, USA, October 29, 2004 2004 (0) 2004
    Conference paper
    Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella.
    TulaFale: A Security Tool for Web Services     		CoRR 2004, Volume 0 (0) 2004
    Conference paper
    Andrew D. Gordon, Riccardo Pucella.
    Validating a Web Service Security Abstraction by Typing     		CoRR 2004, Volume 0 (0) 2004
    Conference paper
    Andrew D. Gordon, Alan Jeffrey.
    Types and effects for asymmetric cryptographic protocols.     		Journal of Computer Security 2004, Volume 12 (0) 2004
    Conference paper
    Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon.
    Deciding validity in a spatial logic for trees.     		(0) 2003
    Conference paper
    Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella.
    TulaFale: A Security Tool for Web Services.     		Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures 2004 (0) 2003
    Conference paper
    Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon.
    Deciding validity in a spatial logic for trees.     		Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, New Orleans, Louisiana, USA, January 18, 2003 2003 (0) 2003
    Conference paper
    Andrew D. Gordon, Alan Jeffrey.
    Authenticity by Typing for Security Protocols.     		Journal of Computer Security 2003, Volume 11 (0) 2003
    Conference paper
    Andrew D. Gordon, Luca Cardelli.
    Equational Properties Of Mobile Ambients.     		Mathematical Structures in Computer Science 2003, Volume 13 (0) 2003
    Conference paper
    Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot.
    Model checking mobile ambients.     		Theor. Comput. Sci. 2003, Volume 308 (0) 2003
    Conference paper
    Andrew D. Gordon, Alan Jeffrey.
    Typing correspondence assertions for communication protocols.     		Theor. Comput. Sci. 2003, Volume 300 (0) 2003
    Conference paper
    Cédric Fournet, Andrew D. Gordon.
    Stack inspection: Theory and variants.     		ACM Trans. Program. Lang. Syst. 2003, Volume 25 (0) 2003
    Conference paper
    Andrew D. Gordon.
    Types for Cryptographic Protocols.     		CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings 2002 (0) 2002
    Conference paper
    Andrew D. Gordon, Alan Jeffrey.
    Types and Effects for Asymmetric Cryptographic Protocols.     		15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 24-26 June 2002, Cape Breton, Nova Scotia, Canada 2002 (0) 2002
    Conference paper
    Witold Charatonik, Andrew D. Gordon, Jean-Marc Talbot.
    Finite-Control Mobile Ambients.     		Programming Languages and Systems, 11th European Symposium on Programming, ESOP 2002, held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings 2002 (0) 2002
    Conference paper
    Andrew D. Gordon.
    Authenticity Types for Cryptographic Protocols.     		Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers 2003 (0) 2002
    Conference paper
    Andrew D. Gordon.
    XML Web Services: The Global Computer?     		Foundations of Information Technology in the Era of Networking and Mobile Computing, IFIP 17 2002 (0) 2002
    Conference paper
    Andrew D. Gordon, Alan Jeffrey.
    Typing One-to-One and One-to-Many Correspondences in Security Protocols.     		Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers 2003 (0) 2002
    Conference paper
    Don Syme, Andrew D. Gordon.
    Automating Type Soundness Proofs via Decision Procedures and Guided Reductions.     		Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings 2002 (0) 2002
    Conference paper
    Cédric Fournet, Andrew D. Gordon.
    Stack inspection: theory and variants.     		POPL 2002 (0) 2002
    Conference paper
    Andrew D. Gordon, Riccardo Pucella.
    Validating a Web service security abstraction by typing.     		Proceedings of the 2002 ACM Workshop on XML Security, Fairfax, VA, USA, November 22, 2002 2002 (0) 2002
    Conference paper
    Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon.
    Types for the Ambient Calculus.     		Inf. Comput. 2002, Volume 177 (0) 2002
    Conference paper
    Silvano Dal-Zilio, Andrew D. Gordon.
    Region analysis and a pi-calculus with groups.     		J. Funct. Program. 2002, Volume 12 (0) 2002
    Conference paper
    Andrew D. Gordon, Alan Jeffrey.
    Authenticity by Typing for Security Protocols.     		14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), 11-13 June 2001, Cape Breton, Nova Scotia, Canada 2001 (0) 2001
    Conference paper
    Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot.
    The Complexity of Model Checking Mobile Ambients.     		Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings 2001 (0) 2001
    Conference paper
    Andrew D. Gordon, Don Syme.
    Typing a multi-language intermediate code.     		POPL 2001 (0) 2001
    Conference paper
    Andrew D. Gordon.
    Types for Cyphers: Thwarting Mischief and Malice with Type Theory.     		Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, September 5-7, 2001, Florence, Italy 2001 (0) 2001
    Conference paper
    Andrew D. Gordon, Alan Jeffrey.
    A Type and Effect Analysis of Security Protocols.     		Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings 2001 (0) 2001
    Conference paper
    Luca Cardelli, Andrew D. Gordon.
    Logical Properties of Name Restriction.     		TLCA 2001 (0) 2001
    Conference paper
    Andrew D. Gordon, Alan Jeffrey.
    Typing Correspondence Assertions for Communication Protocols.     		Electr. Notes Theor. Comput. Sci. 2001, Volume 45 (0) 2001
    Conference paper
    Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon.
    Secrecy and Group Creation.     		CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Andrew D. Gordon.
    Notes on Nominal Calculi for Security and Mobility.     		Foundations of Security Analysis and Design, Tutorial Lectures [revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, Bertinoro, Italy, September 2000] 2001 (0) 2000
    Conference paper
    Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon.
    Ambient Groups and Mobility Types.     		Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Silvano Dal-Zilio, Andrew D. Gordon.
    Region Analysis and a pi-Calculus wiht Groups.     		Mathematical Foundations of Computer Science 2000, 25th International Symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Luca Cardelli, Andrew D. Gordon.
    Anytime, Anywhere: Modal Logics for Mobile Ambients.     		POPL 2000 (0) 2000
    Conference paper
    Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli.
    Secrecy, Group Creation.     		Electr. Notes Theor. Comput. Sci. 2000, Volume 40 (0) 2000
    Conference paper
    Luca Cardelli, Andrew D. Gordon.
    Mobile ambients.     		Theor. Comput. Sci. 2000, Volume 240 (0) 2000
    Conference paper
    Andrew D. Gordon, Luca Cardelli.
    Equational Properties of Mobile Ambients.     		Foundations of Software Science and Computation Structure, Second International Conference, FoSSaCS'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceed 1999 (0) 1999
    Conference paper
    Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli.
    Mobility Types for Mobile Ambients.     		Automata, Languages and Programming, 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings 1999 (0) 1999
    Conference paper
    Luca Cardelli, Andrew D. Gordon.
    Types for Mobile Ambients.     		POPL 1999 (0) 1999
    Conference paper
    Martín Abadi, Andrew D. Gordon.
    A Calculus for Cryptographic Protocols: The spi Calculus.     		Inf. Comput. 1999, Volume 148 (0) 1999
    Conference paper
    Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen.
    Compilation and Equivalence of Imperative Objects.     		J. Funct. Program. 1999, Volume 9 (0) 1999
    Conference paper
    Roy L. Crole, Andrew D. Gordon.
    Relating operational and denotational semantics for input/output effects.     		Mathematical Structures in Computer Science 1999, Volume 9 (0) 1999
    Conference paper
    Andrew D. Gordon.
    Bisimilarity as a Theory of Functional Programming.     		Theor. Comput. Sci. 1999, Volume 228 (0) 1999
    Conference paper
    Martín Abadi, Andrew D. Gordon.
    A Bisimulation Method for Cryptographic Protocols.     		Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings 1998 (0) 1998
    Conference paper
    Luca Cardelli, Andrew D. Gordon.
    Mobile Ambients.     		Foundations of Software Science and Computation Structure, First International Conference, FoSSaCS'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings 1998 (0) 1998
    Show item 1 to 100 of 113  

    Your query returned 113 matches in the database.

    Eidgenoessische Technische Hochschule Zuerich