Iliano Cervesato

Publication Activity (10 Years)

Years Active: 1992-2019
Publications (10 Years): 10

Top Topics

Constraint Handling Rules

Top Venues

Math. Struct. Comput. Sci.

Fundam. Informaticae

Publications

Iliano Cervesato, Maribel Fernández
Preface to the Special Issue on Linearity. J. Autom. Reason. 63 (4) (2019)
Sandra Alves, Iliano Cervesato
Preface to special issue: LINEARITY 2014. Math. Struct. Comput. Sci. 28 (5) (2018)
Iliano Cervesato, Sharjeel Khan, Giselle Reis, Dragisa Zunic
Formalization of Automated Trading Systems in a Concurrent Linear Framework. Linearity-TLLA@FLoC (2018)
Iliano Cervesato, Kaustuv Chaudhuri
Preface - Special Issue on Logical Frameworks and Meta-Languages 2015. Math. Struct. Comput. Sci. 28 (9) (2018)
Baljit Singh, Dmitry Evtyushkin, Jesse Elwell, Ryan Riley, Iliano Cervesato
On the Detection of Kernel-Level Rootkits Using Hardware Performance Counters. AsiaCCS (2017)
Jesse Elwell, Ryan Riley, Nael B. Abu-Ghazaleh, Dmitry V. Ponomarev, Iliano Cervesato
Rethinking Memory Permissions for Protection Against Cross-Layer Attacks. ACM Trans. Archit. Code Optim. 12 (4) (2016)
Edmund Soon Lee Lam, Iliano Cervesato
Let's Unify With Scala Pattern Matching! UNIF (2016)
Yuxin Deng, Robert J. Simmons, Iliano Cervesato
Relating reasoning methodologies in linear logic and process algebra. Math. Struct. Comput. Sci. 26 (5) (2016)
Iliano Cervesato, Edmund S. L. Lam
Overlap and Independence in Multiset Comprehension Patterns. UNIF (2016)
Iliano Cervesato, Edmund Soon Lee Lam, Ali Elgazar
Choreographic Compilation of Decentralized Comprehension Patterns. RuleML (2016)
Edmund S. L. Lam, Iliano Cervesato, Ali Elgazar
Programmable orchestration of time-synchronized events across decentralized Android ensembles. WiMob (2015)
Iliano Cervesato, Edmund S. L. Lam
Modular Multiset Rewriting. LPAR (2015)
Edmund Soon Lee Lam, Iliano Cervesato, Nabeeha Fatima
Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles. COORDINATION (2015)
Edmund S. L. Lam, Iliano Cervesato
Constraint Handling Rules with Multiset Comprehension Patterns. CoRR (2014)
Shikhar Kumar, Iliano Cervesato, Cleotilde Gonzalez
How people do relational reasoning? Role of problem complexity and domain familiarity. Comput. Hum. Behav. 41 (2014)
Iliano Cervesato, Thierry Sans
Substructural Meta-Theory of a Type-Safe Language for Web Programming. Fundam. Informaticae 130 (1) (2014)
Iliano Cervesato
Proof-Theoretic Foundations of Indexing in Logic Programming. LFMTP (2014)
Edmund Soon Lee Lam, Iliano Cervesato
Optimized Compilation of Multiset Rewriting with Comprehensions. APLAS (2014)
Edmund S. L. Lam, Iliano Cervesato
Reasoning About Set Comprehensions. SMT (2014)
Iliano Cervesato, Jorge Luis Sacchini
Towards Meta-Reasoning in the Concurrent Logical Framework CLF. EXPRESS/SOS (2013)
Edmund S. L. Lam, Iliano Cervesato
Decentralized execution of constraint handling rules for ensembles. PPDP (2013)
Thierry Sans, Iliano Cervesato, Soha Hussein
Controlling Data Flow with a Policy-Based Programming Language for the Web. NordSec (2013)
Edmund Soon Lee Lam, Iliano Cervesato
Modeling datalog fact assertion and retraction in linear logic. PPDP (2012)
Iliano Cervesato
An Improved Proof-Theoretic Compilation of Logic Programs CoRR (2012)
Yuxin Deng, Iliano Cervesato, Robert J. Simmons
Relating Reasoning Methodologies in Linear Logic and Process Algebra LINEARITY (2012)
Iliano Cervesato
An Improved Proof-Theoretic Compilation of Logic Programs. Theory Pract. Log. Program. 12 (4-5) (2012)
Iliano Cervesato
Discovering logic through comics. ITiCSE (2011)
Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay
Cryptographically sound security proofs for basic and public-key Kerberos. Int. J. Inf. Sec. 10 (2) (2011)
Andreas Karatsolis, Iliano Cervesato, Khaled A. Harras, Yonina Cooper, Kemal Oflazer, Nael B. Abu-Ghazaleh, Thierry Sans
Getting CS undergraduates to communicate effectively. ITiCSE (2011)
Thierry Sans, Iliano Cervesato
QWeS2T for Type-Safe Web Programming. LAM@LICS (2010)
Iliano Cervesato, Andre Scedrov
Relating state-based and process-based concurrency through linear logic (full-version). Inf. Comput. 207 (10) (2009)
Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay, Christopher Walstad
Breaking and fixing public-key Kerberos. Inf. Comput. 206 (2-4) (2008)
Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker
Specifying Properties of Concurrent Computations in CLF. Electron. Notes Theor. Comput. Sci. 199 (2008)
Iliano Cervesato
NEXCEL, a deductive spreadsheet. Knowl. Eng. Rev. 22 (3) (2007)
Iliano Cervesato, Mark-Oliver Stehr
Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types. High. Order Symb. Comput. 20 (1-2) (2007)
Iliano Cervesato, Catherine A. Meadows
One Picture Is Worth a Dozen Connectives: A Fault-Tree Representation of NPATRL Security Requirements. IEEE Trans. Dependable Secur. Comput. 4 (3) (2007)
Iliano Cervesato, Andre Scedrov
Relating State-Based and Process-Based Concurrency through Linear Logic. Electron. Notes Theor. Comput. Sci. 165 (2006)
Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Christopher Walstad
Formal analysis of Kerberos 5. Theor. Comput. Sci. 367 (1-2) (2006)
Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay
Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos. ESORICS (2006)
Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay, Christopher Walstad
Breaking and Fixing Public-Key Kerberos. IACR Cryptol. ePrint Arch. 2006 (2006)
Iliano Cervesato
A Spreadsheet for Everyday Symbolic Reasoning. AAAI Fall Symposium: Integrating Reasoning into Everyday Applications (2006)
Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay, Christopher Walstad
Breaking and Fixing Public-Key Kerberos. ASIAN (2006)
Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay
Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos. IACR Cryptol. ePrint Arch. 2006 (2006)
Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli
Relating multiset rewriting and process algebras for security protocol analysis. J. Comput. Secur. 13 (1) (2005)
Iliano Cervesato, Catherine A. Meadows, Dusko Pavlovic
An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols. CSFW (2005)
Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln
A comparison between strand spaces and multiset rewriting for security protocol analysis. J. Comput. Secur. 13 (2) (2005)
Serge Autexier, Iliano Cervesato, Heiko Mantel
Preface to the special issue of selected papers from FCS/VERIFY 2002. Int. J. Inf. Sec. 4 (1-2) (2005)
Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Christopher Walstad
Specifying Kerberos 5 cross-realm authentication. WITS (2005)
Catherine A. Meadows, Paul F. Syverson, Iliano Cervesato
Formal specification and analysis of the Group Domain Of Interpretation Protocol using NPATRL and the NRL Protocol Analyzer. J. Comput. Secur. 12 (6) (2004)
Iliano Cervesato, Mark-Oliver Stehr
Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types. WRLA (2004)
Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Roberto Marangoni, Fabio Martinelli
On Representing Biological Systems through Multiset Rewriting. EUROCAST (2003)
Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov
Verifying Confidentiality and Authentication in Kerberos 5. ISSS (2003)
Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker
A Concurrent Logical Framework: The Propositional Fragment. TYPES (2003)
Iliano Cervesato, Frank Pfenning
A Linear Spine Calculus. J. Log. Comput. 13 (5) (2003)
Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli
Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols. MMM-ACNS (2003)
Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov
A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis. ISSS (2002)
Iliano Cervesato
Data Access Specification and the Most Powerful Symbolic Attacker in MSR. ISSS (2002)
Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov
A Formal Analysis of Some Properties of Kerberos 5 Using MSR. CSFW (2002)
Iliano Cervesato, Frank Pfenning
A Linear Logical Framework. Inf. Comput. 179 (1) (2002)
Iliano Cervesato
Typed MSR: Syntax and Examples. MMM-ACNS (2001)
Iliano Cervesato
Typed Multiset Rewriting Specifications of Security Protocols. Electron. Notes Theor. Comput. Sci. 40 (2000)
Paul F. Syverson, Iliano Cervesato
The Logic of Authentication Protocols. FOSAD (2000)
Iliano Cervesato, Angelo Montanari
A Calculus of Macro-Events: Progress Report. TIME (2000)
Iliano Cervesato, Nancy A. Durgin, John C. Mitchell, Patrick Lincoln, Andre Scedrov
Relating Strands and Multiset Rewriting for Security Protocol Analysis. CSFW (2000)
Iliano Cervesato, Joshua S. Hodas, Frank Pfenning
Efficient resource management for linear logic proof search. Theor. Comput. Sci. 232 (1-2) (2000)
Iliano Cervesato, Massimo Franceschet, Angelo Montanari
A Guided Tour through Some Extensions of the Event Calculus. Comput. Intell. 16 (2) (2000)
Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov
A Meta-Notation for Protocol Analysis. CSFW (1999)
Iliano Cervesato, Angelo Montanari
A General Modal Framework for the Event Calculus and Its Skeptical and Credulous Variants. J. Log. Program. 38 (2) (1999)
Iliano Cervesato, Massimo Franceschet, Angelo Montanari
The Complexity of Model Checking in Modal Event Calculi with Quantifiers. KR (1998)
Iliano Cervesato, Massimo Franceschet, Angelo Montanari
The Complexity of Model Checking in Modal Event Calculi with Quantifiers. Electron. Trans. Artif. Intell. 2 (1998)
Iliano Cervesato
Proof-Theoretic Foundation of Compilation in Logic Programming. IJCSLP (1998)
Iliano Cervesato, Massimo Franceschet, Angelo Montanari
Event Calculus with Explicit Quantifiers. TIME (1998)
Iliano Cervesato, Massimo Franceschet, Angelo Montanari
The Complexity of Model Checking in Modal Event Calculi. ICLP (1997)
Iliano Cervesato, Massimo Franceschet, Angelo Montanari
Modal Event Calculi with Preconditions. TIME (1997)
Iliano Cervesato, Frank Pfenning
Linear Higher-Order Pre-Unification. LICS (1997)
Angelo Montanari, Luca Chittaro, Iliano Cervesato
A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants. ECAI (1996)
Iliano Cervesato, Frank Pfenning
A Linear Logical Framework. LICS (1996)
Iliano Cervesato, Joshua S. Hodas, Frank Pfenning
Efficient Resource Management for Linear Logic Proof Search. ELP (1996)
Iliano Cervesato, Luca Chittaro, Angelo Montanari
A Modal Calculus of Partially Ordered Events in a Logic Programming Framework. ICLP (1995)
Iliano Cervesato
Petri Nets and Linear Logic: a Case Study for Logic Programming. GULP-PRODE (1995)
Iliano Cervesato, Luca Chittaro, Angelo Montanari
What the Event Calculus actually does, and how to do it efficiently. GULP-PRODE (2) (1994)
Iliano Cervesato, Luca Chittaro, Angelo Montanari
Modal Event Calculus. ILPS (1994)
Iliano Cervesato
Lollipops Taste of Vanilla too. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming (1994)
Iliano Cervesato, Gianfranco Rossi
A WAM Implementation for the Logic Meta Programming Language 'Log. GULP (1993)
Iliano Cervesato, Christoph F. Eick
Expression and Enforcement of Dynamic Integrity Constraints. SEBD (1993)
Iliano Cervesato, Gianfranco Rossi
Logic Meta-Programming Facilities in 'LOG. META (1992)