Iliano Cervesato

Iliano Cervesato: An Improved Proof-Theoretic Compilation of Logic Programs. TPLP 12(4-5): 639-657 (2012)

Edmund Soon Lee Lam, Iliano Cervesato: Modeling datalog fact assertion and retraction in linear logic. PPDP 2012: 67-78

Yuxin Deng, Iliano Cervesato, Robert J. Simmons: Relating Reasoning Methodologies in Linear Logic and Process Algebra. LINEARITY 2012: 50-60

Iliano Cervesato: An Improved Proof-Theoretic Compilation of Logic Programs. CoRR abs/1210.1653 (2012)

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): 107-134 (2011)

Iliano Cervesato: Discovering logic through comics. ITiCSE 2011: 103-107

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: 283-287

Iliano Cervesato, Andre Scedrov: Relating state-based and process-based concurrency through linear logic (full-version). Inf. Comput. 207(10): 1044-1077 (2009)

Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker: Specifying Properties of Concurrent Computations in CLF. Electr. Notes Theor. Comput. Sci. 199: 67-87 (2008)

Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay, Christopher Walstad: Breaking and fixing public-key Kerberos. Inf. Comput. 206(2-4): 402-424 (2008)

Iliano Cervesato, Helmut Veith, Andrei Voronkov (Eds.): Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings. Lecture Notes in Computer Science 5330, Springer 2008, isbn 978-3-540-89438-4

Iliano Cervesato: NEXCEL, a deductive spreadsheet. Knowledge Eng. Review 22(3): 221-236 (2007)

Iliano Cervesato, Mark-Oliver Stehr: Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types. Higher-Order and Symbolic Computation 20(1-2): 3-35 (2007)

Iliano Cervesato, Catherine Meadows: One Picture Is Worth a Dozen Connectives: A Fault-Tree Representation of NPATRL Security Requirements. IEEE Trans. Dependable Sec. Comput. 4(3): 216-227 (2007)

Iliano Cervesato (Ed.): Advances in Computer Science - ASIAN 2007. Computer and Network Security, 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, Proceedings. Lecture Notes in Computer Science 4846, Springer 2007, isbn 978-3-540-76927-9

Iliano Cervesato, Andre Scedrov: Relating State-Based and Process-Based Concurrency through Linear Logic. Electr. Notes Theor. Comput. Sci. 165: 145-176 (2006)

Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Christopher Walstad: Formal analysis of Kerberos 5. Theor. Comput. Sci. 367(1-2): 57-87 (2006)

Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay, Christopher Walstad: Breaking and Fixing Public-Key Kerberos. ASIAN 2006: 167-181

Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay: Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos. ESORICS 2006: 362-383

Iliano Cervesato: Towards a Notion of Quantitative Security Analysis. Quality of Protection 2006: 131-143

Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay, Christopher Walstad: Breaking and Fixing Public-Key Kerberos. IACR Cryptology ePrint Archive 2006: 9 (2006)

Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay: Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos. IACR Cryptology ePrint Archive 2006: 219 (2006)

Iliano Cervesato, Mark-Oliver Stehr: Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types. Electr. Notes Theor. Comput. Sci. 117: 183-207 (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): 1 (2005)

Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli: Relating multiset rewriting and process algebras for security protocol analysis. Journal of Computer Security 13(1): 3-47 (2005)

Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln: A comparison between strand spaces and multiset rewriting for security protocol analysis. Journal of Computer Security 13(2): 265-316 (2005)

Iliano Cervesato, Catherine Meadows, Dusko Pavlovic: An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols. CSFW 2005: 48-61

Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Christopher Walstad: Specifying Kerberos 5 cross-realm authentication. WITS 2005: 12-26

Catherine Meadows, Paul F. Syverson, Iliano Cervesato: Formal specification and analysis of the Group Domain Of Interpretation Protocol using NPATRL and the NRL Protocol Analyzer. Journal of Computer Security 12(6): 893-931 (2004)

Iliano Cervesato, Frank Pfenning: A Linear Spine Calculus. J. Log. Comput. 13(5): 639-688 (2003)

Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Roberto Marangoni, Fabio Martinelli: On Representing Biological Systems through Multiset Rewriting. EUROCAST 2003: 415-426

Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov: Verifying Confidentiality and Authentication in Kerberos 5. ISSS 2003: 1-24

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

Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker: A Concurrent Logical Framework: The Propositional Fragment. TYPES 2003: 355-377

Iliano Cervesato, Frank Pfenning: A Linear Logical Framework. Inf. Comput. 179(1): 19-75 (2002)

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

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: 356-383

Iliano Cervesato: Data Access Specification and the Most Powerful Symbolic Attacker in MSR. ISSS 2002: 384-416

Iliano Cervesato: Typed MSR: Syntax and Examples. MMM-ACNS 2001: 159-177

Iliano Cervesato, Massimo Franceschet, Angelo Montanari: A Guided Tour through Some Extensions of the Event Calculus. Computational Intelligence 16(2): 307-347 (2000)

Iliano Cervesato: Typed Multiset Rewriting Specifications of Security Protocols. Electr. Notes Theor. Comput. Sci. 40: 8-51 (2000)

Iliano Cervesato, Joshua S. Hodas, Frank Pfenning: Efficient resource management for linear logic proof search. Theor. Comput. Sci. 232(1-2): 133-163 (2000)

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

Paul F. Syverson, Iliano Cervesato: The Logic of Authentication Protocols. FOSAD 2000: 63-136

Iliano Cervesato, Angelo Montanari: A Calculus of Macro-Events: Progress Report. TIME 2000: 47-58

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

Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov: A Meta-Notation for Protocol Analysis. CSFW 1999: 55-69

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

Iliano Cervesato: Proof-Theoretic Foundation of Compilation in Logic Programming. IJCSLP 1998: 115-129

Iliano Cervesato, Massimo Franceschet, Angelo Montanari: The Complexity of Model Checking in Modal Event Calculi with Quantifiers. KR 1998: 368-379

Iliano Cervesato, Massimo Franceschet, Angelo Montanari: Event Calculus with Explicit Quantifiers. TIME 1998: 81-88

Iliano Cervesato, Massimo Franceschet, Angelo Montanari: The Complexity of Model Checking in Modal Event Calculi. ICLP 1997: 419

Iliano Cervesato, Frank Pfenning: Linear Higher-Order Pre-Unification. LICS 1997: 422-433

Iliano Cervesato, Massimo Franceschet, Angelo Montanari: Modal Event Calculi with Preconditions. TIME 1997: 38-45

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

Iliano Cervesato, Joshua S. Hodas, Frank Pfenning: Efficient Resource Management for Linear Logic Proof Search. ELP 1996: 67-81

Iliano Cervesato, Frank Pfenning: A Linear Logical Framework. LICS 1996: 264-275

Iliano Cervesato: Petri Nets and Linear Logic: a Case Study for Logic Programming. GULP-PRODE 1995: 313-320

Iliano Cervesato, Luca Chittaro, Angelo Montanari: A Modal Calculus of Partially Ordered Events in a Logic Programming Framework. ICLP 1995: 299-313

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

Iliano Cervesato, Luca Chittaro, Angelo Montanari: Modal Event Calculus. SLP 1994: 675

Iliano Cervesato, Gianfranco Rossi: A WAM Implementation for the Logic Meta Programming Language 'Log. GULP 1993: 203-214

Iliano Cervesato, Christoph F. Eick: Expression and Enforcement of Dynamic Integrity Constraints. SEBD 1993: 283-298

Iliano Cervesato, Gianfranco Rossi: Logic Meta-Programming Facilities in 'LOG. META 1992: 148-161