- Typed MSR: Syntax and Examples Iliano Cervesato
- A Language for Large Ensembles of Independently Executing Nodes
- Metric, Algorithmic, and Logical Characterisations of Probabilistic Bisimulation
- Bibliography on the Event Calculus This, like any bibliography, is incomplete. Any corrections, updates, comments, suggestion,
- Breaking and Fixing Public-Key Kerberos I. Cervesato1
- Petri Nets and Linear Logic: Appeared in the Proceedings of the 1995 Joint Conference on Declarative Programming --GULP
- Deriving Key Distribution Protocols and their Security Iliano Cervesato1
- T for Type-Safe Web Programming Thierry Sans Iliano Cervesato
- LFM 2004 Preliminary Version Specifying Properties of Concurrent
- Higher-Order Symb Comput (2007) 20:335 DOI 10.1007/s10990-007-9003-3
- An Encapsulated Authentication Logic for Reasoning About Key Distribution Protocols
- Fine-Grained MSR Specifications for Quantitative Security Analysis
- A Fault-Tree Representation of NPATRL Security Requirements
- On Representing Biological Systems through Multiset Rewriting
- ARTICLE NO. A Linear Logical Framework1
- Proceedings Foundations of Computer Security
- The Logic of Authentication Protocols Paul Syverson1
- Electronic Notes in Theoretical Computer Science 40 (2001) URL: http://www.elsevier.nl/locate/entcs/volume40.html 44 pages
- Pleiades Project Collected Work
- Pleiades Project Collected Work
- What the Event Calculus actually does, and how to do it efficiently
- Modal Event Calculus in Lolli Iliano Cervesato, Luca Chittaro*, Angelo Montanari*
- Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols
- A Formal Analysis of Some Properties of Kerberos 5 Using MSR Frederick Butler Iliano Cervesato Aaron D. Jaggard Andre Scedrov
- Formal Specification and Analysis of the Group Domain of Intrepretation
- Proof-Theoretic Foundation of Compilation
- Data Access Specification and the Most Powerful Symbolic Attacker in MSR Iliano Cervesato
- A Linear Spine Calculus Iliano Cervesato
- A Concurrent Logical Framework: The Propositional Fragment
- Relating Multiset Rewriting and Process Algebras for Security Protocol Analysis
- Breaking and Fixing Public-Key Kerberos I. Cervesato1
- WoLLIC 2006 Relating State-Based and Process-Based
- Formal Analysis of Kerberos 5 Frederick Butler a
- A Spreadsheet for Everyday Symbolic Reasoning Iliano Cervesato
- One Picture is Worth a Dozen Connectives: A Fault-Tree Representation of NPATRL Security Requirements
- A Concurrent Logical Framework II: Examples and Applications
- Towards a Notion of Quantitative Security Analysis Iliano Cervesato
- Breaking and Fixing Public-Key Kerberos 1 Iliano Cervesato a
- A Concurrent Logical Framework: The Propositional Fragment
- Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos
- Bibliography on the Event Calculus This, like any bibliography, is incomplete. Any corrections, updates, comments, suggestion,
- Speeding up temporal reasoning by exploiting the notion of kernel of an ordering relation
- Logic Meta-Programming Facilities in 'LOG I. Cervesato*, G.F. Rossi**
- The Logical Meeting Point of Multiset Rewriting and Process Algebra
- Programming Modular Robots with Locally Distributed Predicates Michael De Rosa
- Relating State-Based and Process-Based Concurrency through Linear Logic
- Substructural Operational Semantics as Ordered Logic Programming Frank Pfenning Robert J. Simmons
- Session Types as Intuitionistic Linear Propositions Luis Caires1
- A Constructive Approach to the Resource Semantics of Substructural Logics
- Language Definition and Programming Environment1 Iliano Cervesato
- The Knowledge Engineering Review, Vol. 00:0, 124. c 2004, Cambridge University Press DOI: 10.1017/S000000000000000 Printed in the United Kingdom
- Empirical Evaluation of the Protocol Specification Language MSR 2.0
- Relating Process Algebras and Multiset Rewriting for Security Protocol Analysis
- Contextual Modal Type Theory ALEKSANDAR NANEVSKI
- On Teaching Programming Languages Using a Iliano Cervesato
- On the Semantics of Markov Automata Yuxin Deng1,3,4
- The Wolf Within Iliano Cervesato
- On the Semantics of Markov Automata Yuxin Deng1,3,4
- Relating Reasoning Methodologies in Linear Logic and Process Algebra
- Magnetic Resonant Wireless Power Delivery for Distributed Sensor and Wireless Systems
- Linear Logical Voting Protocols Henry DeYoung1
