Iliano Cervesato

94 papers A* 3A 3B 8C 7Journal 29Unranked 37

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