Iliano Cervesato - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

2009

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

2008

Breaking and fixing public-key KerberosIliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay, Christopher Walstad. iandc, 206(2-4):402-424, 2008. [doi]

Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. ProceedingsIliano Cervesato, Helmut Veith, Andrei Voronkov, editors, Volume 5330 of Lecture Notes in Computer Science, Springer, 2008.

Specifying Properties of Concurrent Computations in CLFKevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker. ENTCS, 199:67-87, 2008. [doi]

2007

NEXCEL, a deductive spreadsheetIliano Cervesato. ker, 22(3):221-236, 2007. [doi]

One Picture Is Worth a Dozen Connectives: A Fault-Tree Representation of NPATRL Security RequirementsIliano Cervesato, Catherine Meadows. tdsc, 4(3):216-227, 2007. [doi]

Advances in Computer Science - ASIAN 2007. Computer and Network Security, 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, ProceedingsIliano Cervesato, editor, Volume 4846 of Lecture Notes in Computer Science, Springer, 2007.

Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent typesIliano Cervesato, Mark-Oliver Stehr. lisp, 20(1-2):3-35, 2007. [doi]

2006

2005

Preface to the special issue of selected papers from FCS/VERIFY 2002Serge Autexier, Iliano Cervesato, Heiko Mantel. ijisec, 4(1-2):1, 2005. [doi]

Relating multiset rewriting and process algebras for security protocol analysisStefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli. jcs, 13(1):3-47, 2005.

Specifying Kerberos 5 cross-realm authenticationIliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Christopher Walstad. POPL 2005: 12-26 [doi]

Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent TypesIliano Cervesato, Mark-Oliver Stehr. ENTCS, 117:183-207, 2005. [doi]

An Encapsulated Authentication Logic for Reasoning about Key Distribution ProtocolsIliano Cervesato, Catherine Meadows, Dusko Pavlovic. csfw 2005: 48-61 [doi]

A comparison between strand spaces and multiset rewriting for security protocol analysisIliano Cervesato, Nancy A. Durgin, Patrick Lincoln. jcs, 13(2):265-316, 2005.

2004

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

2003

2002

2001

Typed MSR: Syntax and ExamplesIliano Cervesato. mmmacns 2001: 159-177 [doi]

2000

1999

A General Modal Framework for the Event Calculus and Its Skeptical and Credulous VariantsIliano Cervesato, Angelo Montanari. jlp, 38(2):111-164, 1999.

A Meta-Notation for Protocol AnalysisIliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov. csfw 1999: 55-69 [doi]

1998

1997

Linear Higher-Order Pre-UnificationIliano Cervesato, Frank Pfenning. lics 1997: 422-433 [doi]

Modal Event Calculi with PreconditionsIliano Cervesato, Massimo Franceschet, Angelo Montanari. time 1997: 38-45 [doi]

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

1996

A Linear Logical FrameworkIliano Cervesato, Frank Pfenning. lics 1996: 264-275

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

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

1995

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

Petri Nets and Linear Logic: a Case Study for Logic ProgrammingIliano Cervesato. agp 1995: 313-320

1994

What the Event Calculus actually does, and how to do it efficientlyIliano Cervesato, Luca Chittaro, Angelo Montanari. agp 1994: 336-350

Modal Event CalculusIliano Cervesato, Luca Chittaro, Angelo Montanari. slp 1994: 675

1993

Expression and Enforcement of Dynamic Integrity ConstraintsIliano Cervesato, Christoph F. Eick. sebd 1993: 283-298

A WAM Implementation for the Logic Meta Programming Language LogIliano Cervesato, Gianfranco Rossi. agp 1993: 203-214

1992

Logic Meta-Programming Facilities in LOGIliano Cervesato, Gianfranco Rossi. meta 1992: 148-161