Logic Meta-Programming Facilities in 'LOG. - Iliano Cervesato; Gianfranco Rossi (META, 1992)

A WAM Implementation for the Logic Meta Programming Language 'Log. - Iliano Cervesato; Gianfranco Rossi (GULP, 1993)

Expression and Enforcement of Dynamic Integrity Constraints. - Iliano Cervesato; Christoph F. Eick (SEBD, 1993)

What the Event Calculus actually does, and how to do it efficiently. - Iliano Cervesato; Luca Chittaro; Angelo Montanari (GULP-PRODE (2), 1994)

Lollipops Taste of Vanilla too. - Iliano Cervesato (ICLP Workshop: Proof-Theoretical Extensions on Logic Programming, 1994)

Modal Event Calculus. - Iliano Cervesato; Luca Chittaro; Angelo Montanari (ILPS, 1994)

Petri Nets and Linear Logic: a Case Study for Logic Programming. - Iliano Cervesato (GULP-PRODE, 1995)

A Modal Calculus of Partially Ordered Events in a Logic Programming Framework. - Iliano Cervesato; Luca Chittaro; Angelo Montanari (ICLP, 1995)

A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants. - Angelo Montanari; Luca Chittaro; Iliano Cervesato (ECAI, 1996)

The Complexity of Model Checking in Modal Event Calculi. - Iliano Cervesato; Massimo Franceschet; Angelo Montanari (ICLP, 1997)

Linear Higher-Order Pre-Unification. - Iliano Cervesato; Frank Pfenning (LICS, 1997)

Modal Event Calculi with Preconditions. - Iliano Cervesato; Massimo Franceschet; Angelo Montanari (TIME, 1997)

Proof-Theoretic Foundation of Compilation in Logic Programming. - Iliano Cervesato (IJCSLP, 1998)

Event Calculus with Explicit Quantifiers. - Iliano Cervesato; Massimo Franceschet; Angelo Montanari (TIME, 1998)

The Complexity of Model Checking in Modal Event Calculi with Quantifiers. - Iliano Cervesato; Massimo Franceschet; Angelo Montanari (Electron. Trans. Artif. Intell., 1998)

A Meta-Notation for Protocol Analysis. - Iliano Cervesato; Nancy A. Durgin; Patrick Lincoln; John C. Mitchell; Andre Scedrov (CSFW, 1999)

A General Modal Framework for the Event Calculus and Its Skeptical and Credulous Variants. - Iliano Cervesato; Angelo Montanari (J. Log. Program., 1999)

Relating Strands and Multiset Rewriting for Security Protocol Analysis. - Iliano Cervesato; Nancy A. Durgin; John C. Mitchell; Patrick Lincoln; Andre Scedrov (CSFW, 2000)

The Logic of Authentication Protocols. - Paul F. Syverson; Iliano Cervesato (FOSAD, 2000)

A Calculus of Macro-Events: Progress Report. - Iliano Cervesato; Angelo Montanari (TIME, 2000)

A Guided Tour through Some Extensions of the Event Calculus. - Iliano Cervesato; Massimo Franceschet; Angelo Montanari (Comput. Intell., 2000)

Typed Multiset Rewriting Specifications of Security Protocols. - Iliano Cervesato (MFCSIT, 2000)

Efficient resource management for linear logic proof search. - Iliano Cervesato; Joshua S. Hodas; Frank Pfenning (Theor. Comput. Sci., 2000)

Typed MSR: Syntax and Examples. - Iliano Cervesato (MMM-ACNS, 2001)

A Formal Analysis of Some Properties of Kerberos 5 Using MSR. - Frederick Butler; Iliano Cervesato; Aaron D. Jaggard; Andre Scedrov (CSFW, 2002)

Data Access Specification and the Most Powerful Symbolic Attacker in MSR. - Iliano Cervesato (ISSS, 2002)

A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis. - Iliano Cervesato; Nancy A. Durgin; Patrick Lincoln; John C. Mitchell; Andre Scedrov (ISSS, 2002)

A Linear Logical Framework. - Iliano Cervesato; Frank Pfenning (Inf. Comput., 2002)

On Representing Biological Systems through Multiset Rewriting. - Stefano Bistarelli; Iliano Cervesato; Gabriele Lenzini; Roberto Marangoni; Fabio Martinelli (EUROCAST, 2003)

Verifying Confidentiality and Authentication in Kerberos 5. - Frederick Butler; Iliano Cervesato; Aaron D. Jaggard; Andre Scedrov (ISSS, 2003)

Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols. - Stefano Bistarelli; Iliano Cervesato; Gabriele Lenzini; Fabio Martinelli (MMM-ACNS, 2003)

A Concurrent Logical Framework: The Propositional Fragment. - Kevin Watkins; Iliano Cervesato; Frank Pfenning; David Walker 001 (TYPES, 2003)

A Linear Spine Calculus. - Iliano Cervesato; Frank Pfenning (J. Log. Comput., 2003)

Specifying Properties of Concurrent Computations in CLF. - Kevin Watkins; Iliano Cervesato; Frank Pfenning; David Walker 001 (LFM@IJCAR, 2004)

Formal specification and analysis of the Group Domain Of Interpretation Protocol using NPATRL and the NRL Protocol Analyzer. - Catherine Meadows 001; Paul F. Syverson; Iliano Cervesato (J. Comput. Secur., 2004)

An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols. - Iliano Cervesato; Catherine Meadows 001; Dusko Pavlovic (CSFW, 2005)

Specifying Kerberos 5 cross-realm authentication. - Iliano Cervesato; Aaron D. Jaggard; Andre Scedrov; Christopher Walstad (WITS, 2005)

Preface to the special issue of selected papers from FCS/VERIFY 2002. - Serge Autexier; Iliano Cervesato; Heiko Mantel (Int. J. Inf. Sec., 2005)

Relating multiset rewriting and process algebras for security protocol analysis. - Stefano Bistarelli; Iliano Cervesato; Gabriele Lenzini; Fabio Martinelli (J. Comput. Secur., 2005)

A comparison between strand spaces and multiset rewriting for security protocol analysis. - Iliano Cervesato; Nancy A. Durgin; Patrick Lincoln (J. Comput. Secur., 2005)

A Spreadsheet for Everyday Symbolic Reasoning. - Iliano Cervesato (AAAI Fall Symposium: Integrating Reasoning into Everyday Applications, 2006)

Relating State-Based and Process-Based Concurrency through Linear Logic. - Iliano Cervesato; Andre Scedrov (WoLLIC, 2006)

Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos. - Michael Backes 001; Iliano Cervesato; Aaron D. Jaggard; Andre Scedrov; Joe-Kai Tsay (IACR Cryptol. ePrint Arch., 2006)

Breaking and Fixing Public-Key Kerberos. - Iliano Cervesato; Aaron D. Jaggard; Andre Scedrov; Joe-Kai Tsay; Christopher Walstad (IACR Cryptol. ePrint Arch., 2006)

Formal analysis of Kerberos 5. - Frederick Butler; Iliano Cervesato; Aaron D. Jaggard; Andre Scedrov; Christopher Walstad (Theor. Comput. Sci., 2006)

Towards a Notion of Quantitative Security Analysis. - Iliano Cervesato (Quality of Protection, 2006)

NEXCEL, a deductive spreadsheet. - Iliano Cervesato (Knowl. Eng. Rev., 2007)

Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types. - Iliano Cervesato; Mark-Oliver Stehr (High. Order Symb. Comput., 2007)

One Picture Is Worth a Dozen Connectives: A Fault-Tree Representation of NPATRL Security Requirements. - Iliano Cervesato; Catherine Meadows 001 (IEEE Trans. Dependable Secur. Comput., 2007)

Relating state-based and process-based concurrency through linear logic (full-version). - Iliano Cervesato; Andre Scedrov (Inf. Comput., 2009)

QWeS2T for Type-Safe Web Programming. - Thierry Sans; Iliano Cervesato (LAM@LICS, 2010)

Discovering logic through comics. - Iliano Cervesato (ITiCSE, 2011)

Getting CS undergraduates to communicate effectively. - Andreas Karatsolis; Iliano Cervesato; Khaled A. Harras; Yonina Cooper; Kemal Oflazer; Nael B. Abu-Ghazaleh; Thierry Sans (ITiCSE, 2011)

Modeling datalog fact assertion and retraction in linear logic. - Edmund Soon Lee Lam; Iliano Cervesato (PPDP, 2012)

Relating Reasoning Methodologies in Linear Logic and Process Algebra - Yuxin Deng; Iliano Cervesato; Robert J. Simmons (LINEARITY, 2012)

An Improved Proof-Theoretic Compilation of Logic Programs. - Iliano Cervesato (Theory Pract. Log. Program., 2012)

Controlling Data Flow with a Policy-Based Programming Language for the Web. - Thierry Sans; Iliano Cervesato; Soha Hussein (NordSec, 2013)

Decentralized execution of constraint handling rules for ensembles. - Edmund S. L. Lam; Iliano Cervesato (PPDP, 2013)

Towards Meta-Reasoning in the Concurrent Logical Framework CLF. - Iliano Cervesato; Jorge Luis Sacchini (EXPRESS/SOS, 2013)

The Deductive Spreadsheet - Iliano Cervesato (Springer, 2013)

Optimized Compilation of Multiset Rewriting with Comprehensions. - Edmund Soon Lee Lam; Iliano Cervesato (APLAS, 2014)

Proof-Theoretic Foundations of Indexing in Logic Programming. - Iliano Cervesato (LFMTP, 2014)

Reasoning About Set Comprehensions. - Edmund S. L. Lam; Iliano Cervesato (SMT, 2014)

How people do relational reasoning? Role of problem complexity and domain familiarity. - Shikhar Kumar; Iliano Cervesato; Cleotilde Gonzalez (Comput. Hum. Behav., 2014)

Constraint Handling Rules with Multiset Comprehension Patterns. - Edmund S. L. Lam; Iliano Cervesato (CoRR, 2014)

Substructural Meta-Theory of a Type-Safe Language for Web Programming. - Iliano Cervesato; Thierry Sans (Fundam. Informaticae, 2014)

Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles. - Edmund Soon Lee Lam; Iliano Cervesato; Nabeeha Fatima (COORDINATION, 2015)

Modular Multiset Rewriting. - Iliano Cervesato; Edmund S. L. Lam (LPAR, 2015)

Programmable orchestration of time-synchronized events across decentralized Android ensembles. - Edmund S. L. Lam; Iliano Cervesato; Ali Elgazar (WiMob, 2015)

Choreographic Compilation of Decentralized Comprehension Patterns. - Iliano Cervesato; Edmund Soon Lee Lam; Ali Elgazar (RuleML, 2016)

Overlap and Independence in Multiset Comprehension Patterns. - Iliano Cervesato; Edmund S. L. Lam (UNIF, 2016)

Let's Unify With Scala Pattern Matching! - Edmund Soon Lee Lam; Iliano Cervesato (UNIF, 2016)

Rethinking Memory Permissions for Protection Against Cross-Layer Attacks. - Jesse Elwell; Ryan Riley; Nael B. Abu-Ghazaleh; Dmitry V. Ponomarev; Iliano Cervesato (ACM Trans. Archit. Code Optim., 2016)

On the Detection of Kernel-Level Rootkits Using Hardware Performance Counters. - Baljit Singh; Dmitry Evtyushkin; Jesse Elwell; Ryan Riley; Iliano Cervesato (AsiaCCS, 2017)

Formalization of Automated Trading Systems in a Concurrent Linear Framework. - Iliano Cervesato; Sharjeel Khan; Giselle Reis; Dragisa Zunic (Linearity-TLLA@FLoC, 2018)

Preface to special issue: LINEARITY 2014. - Sandra Alves; Iliano Cervesato (Math. Struct. Comput. Sci., 2018)

Preface - Special Issue on Logical Frameworks and Meta-Languages 2015. - Iliano Cervesato; Kaustuv Chaudhuri (Math. Struct. Comput. Sci., 2018)

Preface to the Special Issue on Linearity. - Iliano Cervesato; Maribel Fernández (J. Autom. Reason., 2019)