Submissions from 2009
Relating State-Based and Process-Based Concurrency through Linear Logic, Iliano Cervesato and Andre Scedrov
Submissions from 2008
On Teaching Programming Languages Using a Wiki, Iliano Cervesato
Submissions from 2007
NEXCEL, a Deductive Spreadsheet, Iliano Cervesato
Breaking and Fixing Public-Key Kerberos, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kay Tsay, and Christopher Walstad
One Picture is Worth a Dozen Connectives: A Fault-Tree Representation of NPATRL Security Requirements, Iliano Cervesato and Catherine Meadows
Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types, Iliano Cervesato and Mark-Oliver Stehr
Submissions from 2006
Cryptographically Sound Security Proofs forBasic and Public-Key Kerberos, M Backes, Iliano Cervesato, A D. Jaggard, A Scedrov, and J-K Tsay
Formal Analysis of Kerberos 5, Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, and Christopher Walstad
A Spreadsheet for Everyday Symbolic Reasoning, Iliano Cervesato
Towards a Notion of Quantitative Security Analysis, Iliano Cervesato
Deriving Key Distribution Protocols and their Security Properties, Iliano Cervesato, Catherine Meadows, and Dusko Pavlovic
Submissions from 2005
Relating Multiset Rewriting and Process Algebras for Security Protocol Analysis, Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, and Fabio Martinelli
A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis, Iliano Cervesato, Nancy A. Durgin, Patrick D. Lincoln, John C. Mitchell, and Andre Scedrov
Specifying Kerberos 5 Cross-Realm Authentication, Iliano Cervesato, A D. Jaggard, A Scedrov, and C Walstad
An Encapsulated Authentication Logic for Reasoning About Key Distribution Protocols, Iliano Cervesato, Catherine Meadows, and Dusko Pavlovic
Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types, Iliano Cervesato and Mark-Oliver Stehr
Submissions from 2004
A Formal Analysis of Some Properties of Kerberos 5 Using MSR, Frederick Butler, Iliano Cervesato, Andre Scedrov, and Aaron D. Jaggard
Fine-Grained MSR Specifications for Quantitative Security Analysis, Iliano Cervesato
The Logical Meeting Point of Multiset Rewriting and Process Algebra: Progress Report, Iliano Cervesato
Formal Specification and Analysis of the Group Domain of Interpretation using NPATR and the NRL Protocol Analyzer, Catherine Meadows, Paul Syverson, and Iliano Cervesato
Specifying Properties of Concurrent Computations in CLF, Kevin Watkins, Iliano Cervesato, Frank Pfenning, and David Walker
Submissions from 2003
On Representing Biological Systems through Multiset Rewriting, S. Bistarelli, Iliano Cervesato, G. Lenzini, R. Marangoni, and F. Martinelli
Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols, Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, and Fabio Martinelli
Relating Process Algebras and Multiset Rewriting for Security Protocol Analysis, Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, and Fabio Martinelli
Verifying Confidentiality and Authentication in Kerberos 5, Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, and Andre Scedrov
A Fault-Tree Representation of NPATRL Security Requirements, Iliano Cervesato and Catherine Meadows
A Linear Spine Calculus, Iliano Cervesato and Frank Pfenning
A Concurrent Logical Framework II: Examples and Applications, Iliano Cervesato, Frank Pfenning, David Walker, and Kevin Watkins
A Concurrent Logical Framework I: Judgments and Properties, Iliano Cervesato, Kevin Watkins, Frank Pfenning, and David Walker
A Concurrent Logical Framework: The Propositional Fragment, Kevin Watkins, Iliano Cervesato, Frank Pfenning, and David Walker
Submissions from 2002
A Formal Analysis of Some Properties of Kerberos 5 Using MSR, Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, and Andre Scedrov
Data Access Specification and the Most Powerful Symbolic Attacker in MSR, Iliano Cervesato
The Wolf Within, Iliano Cervesato
A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis, Iliano Cervesato, N. Durgin, P. Lincoln, J. Mitchell, and A. Scedrov
A Linear Logical Framework, Iliano Cervesato and Frank Pfenning
Submissions from 2001
A Specification Language for Crypto-Protocols based on Multiset Rewriting, Dependent Types and Subsorting, Iliano Cervesato
Typed MSR: Syntax and Examples, Iliano Cervesato
The Logic of Authentication Protocols, Paul Syverson and Iliano Cervesato
Submissions from 2000
Logical Frameworks: Why Not Just Classical Logic?, Iliano Cervesato
Typed Multiset Rewriting Specifications of Security Protocols, Iliano Cervesato
Interpreting Strands in Linear Logic, Iliano Cervesato, N. Durgin, M. Kanovich, and A. Scedrov
Relating Strands and Multiset Rewriting for Security Protocol Analysis, Iliano Cervesato, N. Durgin, J. Mitchell, P. Lincoln, and A Scedrov
Efficient Resource Management for Linear Logic Proof Search, Iliano Cervesato, Joshua S. Hodas, and Frank Pfenning
Submissions from 1999
A Meta-Notation for Protocol Analysis, Iliano Cervesato, N A. Durgin, P D. Lincoln, J C. Mitchell, and A Scedrov
Submissions from 1998
Proof-Theoretic Foundation of Compilation in Logic Programming Languages, Iliano Cervesato
The Complexity of Model Checking in Modal Event Calculi with Quantifiers, Iliano Cervesato, Massimo Franceschet, and Angelo Montanari
Submissions from 1997
A Hierarchy of Modal Event Calculi: Expressiveness and Complexity, Iliano Cervesato, Massimo Franceschet, and Angelo Montanari
Linear Higher-Order Pre-Unification, Iliano Cervesato and Frank Pfenning
Submissions from 1996
Un Logical Framework Lineare, Iliano Cervesato
A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants, Iliano Cervesato, Luca Chittaro, and Angelo Montanari
A Linear Logical Framework, Iliano Cervesato and Frank Pfenning
Submissions from 1995
Petri Nets and Linear Logic: a Case Study for Logic Programming, Iliano Cervesato
Speeding up Temporal Reasoning by Exploiting the Notion of Kernel of an Ordering Relation, Luca Chittaro, Angelo Montanari, and Iliano Cervesato
Submissions from 1994
Modal Event Calculus in Lolli, Iliano Cervesato, Luca Chittaro, and Angelo Montanari
What the Event Calculus Does and How to Do It Efficiently, Iliano Cervesato, Luca Chittaro, and Angelo Montanari
Submissions from 1993
On the Non-Monotonic Behavior of the Event Calculus for Deriving Maximal Time Intervals, Iliano Cervesato, Angelo Montanari, and Alessandro Provetti
Submissions from 1992
Logic Meta-Programming Facilities in 'LOG, Iliano Cervesato and Gianfranco Rossi
