| Publication | Date of Publication | Type |
|---|
Smart Choices and the Selection Monad
Logical Methods in Computer Science | 2023-08-26 | Paper |
Reasoning about cryptographic protocols in the spi calculus
CONCUR '97: Concurrency Theory | 2023-05-17 | Paper |
An imperative object calculus
TAPSOFT '95: Theory and Practice of Software Development | 2022-08-18 | Paper |
The Applied Pi Calculus
Journal of the ACM | 2018-08-02 | Paper |
Open systems in TLA
Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing - PODC '94 | 2017-09-29 | Paper |
Timely dataflow: a model
Formal Techniques for Distributed Objects, Components, and Systems | 2016-10-19 | Paper |
Analysis and caching of dependencies
Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96 | 2016-09-01 | Paper |
| Layout randomization and nondeterminism | 2016-04-12 | Paper |
Distributed Authorization with Distributed Grammars
Programming Languages with Applications to Biology and Security | 2016-01-08 | Paper |
Foundations of differential dataflow
Lecture Notes in Computer Science | 2015-10-01 | Paper |
Access control in a core calculus of dependency
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming | 2015-08-03 | Paper |
A model of cooperative threads
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-07-03 | Paper |
A semantics for a logic of authentication (extended abstract)
Proceedings of the tenth annual ACM symposium on Principles of distributed computing - PODC '91 | 2015-06-19 | Paper |
Mobile values, new names, and secure communication
Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
Analyzing security protocols with secrecy types and logic programs
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
Authentication primitives and their compilation
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
Semantics of transactional memory and automatic mutual exclusion
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
Layout Randomization and Nondeterminism
Lecture Notes in Computer Science | 2014-06-02 | Paper |
Access control in a core calculus of dependency
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Message-Locked Encryption for Lock-Dependent Messages
Advances in Cryptology – CRYPTO 2013 | 2013-09-02 | Paper |
On layout randomization for arrays and functions
Lecture Notes in Computer Science | 2013-08-06 | Paper |
A model of cooperative threads
Logical Methods in Computer Science | 2010-12-20 | Paper |
A model of dynamic separation for transactional memory
Information and Computation | 2010-10-07 | Paper |
An abstract account of composition
Lecture Notes in Computer Science | 2010-06-17 | Paper |
A logic of object-oriented programs
Lecture Notes in Computer Science | 2010-03-23 | Paper |
Perspectives on Transactional Memory
CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
Security Protocols: Principles and Calculi
Foundations of Security Analysis and Design IV | 2009-10-22 | Paper |
Logic in Access Control (Tutorial Notes)
Foundations of Security Analysis and Design V | 2009-10-22 | Paper |
Models and Proofs of Protocol Security: A Progress Report
Computer Aided Verification | 2009-06-30 | Paper |
Formal Analysis of Dynamic, Distributed File-System Access Controls
Lecture Notes in Computer Science | 2009-03-11 | Paper |
Analyzing security protocols with secrecy types and logic programs
Journal of the ACM | 2008-12-21 | Paper |
Security analysis of cryptographically controlled access to XML documents
Journal of the ACM | 2008-12-21 | Paper |
A Model of Dynamic Separation for Transactional Memory
CONCUR 2008 - Concurrency Theory | 2008-11-25 | Paper |
Variations in Access Control Logic
Lecture Notes in Computer Science | 2008-08-28 | Paper |
Automatic Mutual Exclusion and Atomicity Checks
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Computational Secrecy by Typing for the Pi Calculus
Programming Languages and Systems | 2008-05-06 | Paper |
A Modal Deconstruction of Access Control Logics
Foundations of Software Science and Computational Structures | 2008-04-11 | Paper |
Automated verification of selected equivalences for security protocols
The Journal of Logic and Algebraic Programming | 2008-03-05 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Deciding knowledge in security protocols under equational theories
Theoretical Computer Science | 2007-01-09 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2006-01-10 | Paper |
| scientific article; zbMATH DE number 2242582 (Why is no real title available?) | 2006-01-02 | Paper |
Logic for Programming, Artificial Intelligence, and Reasoning
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Computer-assisted verification of a protocol for certified email
Science of Computer Programming | 2005-10-10 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2005-08-24 | Paper |
Formal Techniques for Networked and Distributed Systems – FORTE 2004
Lecture Notes in Computer Science | 2005-08-18 | Paper |
| scientific article; zbMATH DE number 2185651 (Why is no real title available?) | 2005-07-04 | Paper |
Secrecy by typing in security protocols
Journal of the ACM | 2005-01-25 | Paper |
Private authentication
Theoretical Computer Science | 2004-10-04 | Paper |
| scientific article; zbMATH DE number 2090928 (Why is no real title available?) | 2004-08-13 | Paper |
| scientific article; zbMATH DE number 2090853 (Why is no real title available?) | 2004-08-13 | Paper |
| scientific article; zbMATH DE number 1962756 (Why is no real title available?) | 2003-08-11 | Paper |
Secrecy types for asymmetric communication.
Theoretical Computer Science | 2003-05-25 | Paper |
Secure implementation of channel abstractions
Information and Computation | 2003-01-14 | Paper |
| scientific article; zbMATH DE number 1759457 (Why is no real title available?) | 2002-11-25 | Paper |
| scientific article; zbMATH DE number 1759789 (Why is no real title available?) | 2002-10-07 | Paper |
Reconciling two views of cryptography (The computational soundness of formal encryption)
Journal of Cryptology | 2002-06-27 | Paper |
| scientific article; zbMATH DE number 1701344 (Why is no real title available?) | 2002-02-05 | Paper |
| Security protocols and their properties | 2001-10-21 | Paper |
| scientific article; zbMATH DE number 1500645 (Why is no real title available?) | 2000-09-04 | Paper |
[top ][top ]-closed relations and admissibility
Mathematical Structures in Computer Science | 2000-09-04 | Paper |
| scientific article; zbMATH DE number 1479620 (Why is no real title available?) | 2000-07-20 | Paper |
Explicit substitutions
Journal of Functional Programming | 2000-02-09 | Paper |
| scientific article; zbMATH DE number 1330433 (Why is no real title available?) | 1999-09-20 | Paper |
A calculus for cryptographic protocols: The spi calculus
Information and Computation | 1999-03-30 | Paper |
| scientific article; zbMATH DE number 1251177 (Why is no real title available?) | 1999-02-17 | Paper |
| scientific article; zbMATH DE number 1231619 (Why is no real title available?) | 1999-01-06 | Paper |
A theory of primitive objects: Untyped and first-order systems
Information and Computation | 1996-12-12 | Paper |
| scientific article; zbMATH DE number 944097 (Why is no real title available?) | 1996-11-12 | Paper |
| scientific article; zbMATH DE number 910717 (Why is no real title available?) | 1996-07-28 | Paper |
Baby Modula-3 and a theory of objects
Journal of Functional Programming | 1995-08-06 | Paper |
Dynamic typing in polymorphic languages
Journal of Functional Programming | 1995-06-08 | Paper |
A semantics for static type inference in a nondeterministic language
Information and Computation | 1995-01-12 | Paper |
Decidability and expressiveness for first-order logics of probability
Information and Computation | 1994-07-12 | Paper |
| scientific article; zbMATH DE number 512792 (Why is no real title available?) | 1994-06-02 | Paper |
Formal parametric polymorphism
Theoretical Computer Science | 1994-02-22 | Paper |
A logical view of composition
Theoretical Computer Science | 1994-01-13 | Paper |
FAITHFUL IDEAL MODELS FOR RECURSIVE POLYMORPHIC TYPES
International Journal of Foundations of Computer Science | 1992-06-28 | Paper |
| scientific article; zbMATH DE number 15884 (Why is no real title available?) | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 4215344 (Why is no real title available?) | 1991-01-01 | Paper |
The existence of refinement mappings
Theoretical Computer Science | 1991-01-01 | Paper |
Nonclausal deduction in first-order temporal logic
Journal of the ACM | 1990-01-01 | Paper |
Corrigendum to: ``The power of temporal proofs''
Theoretical Computer Science | 1990-01-01 | Paper |
Secure circuit evaluation. A protocol based on hiding information from an oracle
Journal of Cryptology | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4180813 (Why is no real title available?) | 1989-01-01 | Paper |
Temporal logic programming
Journal of Symbolic Computation | 1989-01-01 | Paper |
The power of temporal proofs
Theoretical Computer Science | 1989-01-01 | Paper |
On hiding information from an oracle
Journal of Computer and System Sciences | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4197466 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4018413 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3904560 (Why is no real title available?) | 1985-01-01 | Paper |
