Iliano Cervesato

Available identifiers

zbMath Open cervesato.ilianoMaRDI QIDQ731894

List of research outcomes

Publication	Date of Publication	Type
Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos	2022-03-09	Paper
https://portal.mardi4nfdi.de/entity/Q5018483	2021-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4992496	2021-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q4986742	2021-04-27	Paper
Relating reasoning methodologies in linear logic and process algebra	2016-07-28	Paper
Optimized Compilation of Multiset Rewriting with Comprehensions	2016-02-26	Paper
Modular Multiset Rewriting	2016-01-12	Paper
Substructural Meta-Theory of a Type-Safe Language for Web Programming	2014-05-14	Paper
https://portal.mardi4nfdi.de/entity/Q2849864	2013-09-20	Paper
The Deductive Spreadsheet	2013-07-23	Paper
Typed Multiset Rewriting Specifications of Security Protocols	2013-06-06	Paper
Relating State-Based and Process-Based Concurrency through Linear Logic	2013-05-03	Paper
An Improved Proof-Theoretic Compilation of Logic Programs	2013-03-13	Paper
Relating state-based and process-based concurrency through linear logic (full-version)	2009-10-09	Paper
Breaking and fixing public-key Kerberos	2008-04-16	Paper
Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types	2007-05-21	Paper
Formal analysis of Kerberos 5	2007-01-09	Paper
A linear logical framework	2004-03-04	Paper
A Linear Spine Calculus	2004-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q4418589	2003-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4418590	2003-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4798026	2003-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4530846	2002-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q2702563	2001-03-12	Paper
https://portal.mardi4nfdi.de/entity/Q4952302	2000-10-08	Paper
Efficient resource management for linear logic proof search	2000-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q4944869	2000-03-22	Paper
A general modal framework for the event calculus and its skeptical and credulous variants	1999-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q4851606	1996-05-02	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Iliano Cervesato