Iliano Cervesato

Orcid: 0000-0001-6329-3400

Affiliations:
  • Carnegie Mellon University, Doha, Qatar


According to our database1, Iliano Cervesato authored at least 78 papers between 1992 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
Preface to the Special Issue on Linearity.
J. Autom. Reason., 2019

2018
Preface - Special Issue on Logical Frameworks and Meta-Languages 2015.
Math. Struct. Comput. Sci., 2018

Preface to special issue: LINEARITY 2014.
Math. Struct. Comput. Sci., 2018

Formalization of Automated Trading Systems in a Concurrent Linear Framework.
Proceedings of the Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2018

2017
On the Detection of Kernel-Level Rootkits Using Hardware Performance Counters.
Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security, 2017

2016
Rethinking Memory Permissions for Protection Against Cross-Layer Attacks.
ACM Trans. Archit. Code Optim., 2016

Let's Unify With Scala Pattern Matching!
Proceedings of the 30th International Workshop on Unification, 2016

Overlap and Independence in Multiset Comprehension Patterns.
Proceedings of the 30th International Workshop on Unification, 2016

Choreographic Compilation of Decentralized Comprehension Patterns.
Proceedings of the Rule Technologies. Research, Tools, and Applications, 2016

2015
Programmable orchestration of time-synchronized events across decentralized Android ensembles.
Proceedings of the 11th IEEE International Conference on Wireless and Mobile Computing, 2015

Modular Multiset Rewriting.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles.
Proceedings of the Coordination Models and Languages, 2015

2014
Substructural Meta-Theory of a Type-Safe Language for Web Programming.
Fundam. Informaticae, 2014

Constraint Handling Rules with Multiset Comprehension Patterns.
CoRR, 2014

How people do relational reasoning? Role of problem complexity and domain familiarity.
Comput. Hum. Behav., 2014

Reasoning About Set Comprehensions.
Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, 2014

Proof-Theoretic Foundations of Indexing in Logic Programming.
Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2014

Optimized Compilation of Multiset Rewriting with Comprehensions.
Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2013
The Deductive Spreadsheet
Cognitive Technologies, Springer, ISBN: 978-3-642-37746-4, 2013

Towards Meta-Reasoning in the Concurrent Logical Framework CLF.
Proceedings of the Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, 2013

Decentralized execution of constraint handling rules for ensembles.
Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

Controlling Data Flow with a Policy-Based Programming Language for the Web.
Proceedings of the Secure IT Systems - 18th Nordic Conference, 2013

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

Relating Reasoning Methodologies in Linear Logic and Process Algebra
Proceedings of the Proceedings 2nd International Workshop on Linearity, 2012

Modeling datalog fact assertion and retraction in linear logic.
Proceedings of the Principles and Practice of Declarative Programming, 2012

2011
Getting CS undergraduates to communicate effectively.
Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2011

Discovering logic through comics.
Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2011

2010
QWeS2T for Type-Safe Web Programming.
Proceedings of the 3rd International Workshop on Logics, Agents, and Mobility, 2010

2009
Relating state-based and process-based concurrency through linear logic (full-version).
Inf. Comput., 2009

2007
One Picture Is Worth a Dozen Connectives: A Fault-Tree Representation of NPATRL Security Requirements.
IEEE Trans. Dependable Secur. Comput., 2007

Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types.
High. Order Symb. Comput., 2007

NEXCEL, a deductive spreadsheet.
Knowl. Eng. Rev., 2007

2006
Towards a Notion of Quantitative Security Analysis.
Proceedings of the Quality of Protection - Security Measurements and Metrics, 2006

Formal analysis of Kerberos 5.
Theor. Comput. Sci., 2006

Breaking and Fixing Public-Key Kerberos.
IACR Cryptol. ePrint Arch., 2006

Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos.
IACR Cryptol. ePrint Arch., 2006

Relating State-Based and Process-Based Concurrency through Linear Logic.
Proceedings of the 13th Workshop on Logic, Language, Information and Computation, 2006

A Spreadsheet for Everyday Symbolic Reasoning.
Proceedings of the Integrating Reasoning into Everyday Applications, 2006

2005
A comparison between strand spaces and multiset rewriting for security protocol analysis.
J. Comput. Secur., 2005

Relating multiset rewriting and process algebras for security protocol analysis.
J. Comput. Secur., 2005

Preface to the special issue of selected papers from FCS/VERIFY 2002.
Int. J. Inf. Sec., 2005

Specifying Kerberos 5 cross-realm authentication.
Proceedings of the POPL 2005 Workshop on Issues in the Theory of Security, 2005

An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols.
Proceedings of the 18th IEEE Computer Security Foundations Workshop, 2005

2004
Formal specification and analysis of the Group Domain Of Interpretation Protocol using NPATRL and the NRL Protocol Analyzer.
J. Comput. Secur., 2004

Specifying Properties of Concurrent Computations in CLF.
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, 2004

2003
A Linear Spine Calculus.
J. Log. Comput., 2003

A Concurrent Logical Framework: The Propositional Fragment.
Proceedings of the Types for Proofs and Programs, International Workshop, 2003

Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols.
Proceedings of the Computer Network Security, 2003

Verifying Confidentiality and Authentication in Kerberos 5.
Proceedings of the Software Security, 2003

On Representing Biological Systems through Multiset Rewriting.
Proceedings of the Computer Aided Systems Theory, 2003

2002
A Linear Logical Framework.
Inf. Comput., 2002

A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis.
Proceedings of the Software Security -- Theories and Systems, 2002

Data Access Specification and the Most Powerful Symbolic Attacker in MSR.
Proceedings of the Software Security -- Theories and Systems, 2002

A Formal Analysis of Some Properties of Kerberos 5 Using MSR.
Proceedings of the 15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 2002

2001
Typed MSR: Syntax and Examples.
Proceedings of the Information Assurance in Computer Networks: Methods, 2001

2000
Efficient resource management for linear logic proof search.
Theor. Comput. Sci., 2000

Typed Multiset Rewriting Specifications of Security Protocols.
Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

A Guided Tour through Some Extensions of the Event Calculus.
Comput. Intell., 2000

A Calculus of Macro-Events: Progress Report.
Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning, 2000

The Logic of Authentication Protocols.
Proceedings of the Foundations of Security Analysis and Design, 2000

Relating Strands and Multiset Rewriting for Security Protocol Analysis.
Proceedings of the 13th IEEE Computer Security Foundations Workshop, 2000

1999
A General Modal Framework for the Event Calculus and Its Skeptical and Credulous Variants.
J. Log. Program., 1999

A Meta-Notation for Protocol Analysis.
Proceedings of the 12th IEEE Computer Security Foundations Workshop, 1999

1998
The Complexity of Model Checking in Modal Event Calculi with Quantifiers.
Electron. Trans. Artif. Intell., 1998

Event Calculus with Explicit Quantifiers.
Proceedings of the 5th Workshop on Temporal Representation and Reasoning, 1998

Proof-Theoretic Foundation of Compilation in Logic Programming.
Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

1997
Modal Event Calculi with Preconditions.
Proceedings of the 4th International Workshop on Temporal Representation and Reasoning, 1997

Linear Higher-Order Pre-Unification.
Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

The Complexity of Model Checking in Modal Event Calculi.
Proceedings of the Logic Programming, 1997

1996
A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants.
Proceedings of the 12th European Conference on Artificial Intelligence, 1996

1995
A Modal Calculus of Partially Ordered Events in a Logic Programming Framework.
Proceedings of the Logic Programming, 1995

Petri Nets and Linear Logic: a Case Study for Logic Programming.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994
Modal Event Calculus.
Proceedings of the Logic Programming, 1994

Lollipops Taste of Vanilla too.
Proceedings of the ICLP 1994, 1994

What the Event Calculus actually does, and how to do it efficiently.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993
Expression and Enforcement of Dynamic Integrity Constraints.
Proceedings of the Convegno SEBD'93, 1993

A WAM Implementation for the Logic Meta Programming Language 'Log.
Proceedings of the 8th Italian Conference on Logic Programming, 1993

1992
Logic Meta-Programming Facilities in 'LOG.
Proceedings of the Meta-Programming in Logic, 3rd International Workshop, 1992


  Loading...