Iliano Cervesato

From MaRDI portal
Person:731894

Available identifiers

zbMath Open cervesato.ilianoMaRDI QIDQ731894

List of research outcomes





PublicationDate of PublicationType
Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos2022-03-09Paper
https://portal.mardi4nfdi.de/entity/Q50184832021-12-20Paper
https://portal.mardi4nfdi.de/entity/Q49924962021-06-09Paper
https://portal.mardi4nfdi.de/entity/Q49867422021-04-27Paper
Relating reasoning methodologies in linear logic and process algebra2016-07-28Paper
Optimized Compilation of Multiset Rewriting with Comprehensions2016-02-26Paper
Modular Multiset Rewriting2016-01-12Paper
Substructural Meta-Theory of a Type-Safe Language for Web Programming2014-05-14Paper
Specifying properties of concurrent computations in CLF2014-01-10Paper
Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types2013-09-20Paper
Typed multiset rewriting specifications of security protocols2013-06-06Paper
Relating state-based and process-based concurrency through linear logic2013-05-03Paper
An improved proof-theoretic compilation of logic programs2013-03-13Paper
Relating state-based and process-based concurrency through linear logic (full-version)2009-10-09Paper
Breaking and fixing public-key Kerberos2008-04-16Paper
Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types2007-05-21Paper
Formal analysis of Kerberos 52007-01-09Paper
A linear logical framework2004-03-04Paper
A Linear Spine Calculus2004-01-28Paper
https://portal.mardi4nfdi.de/entity/Q44185892003-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44185902003-08-11Paper
https://portal.mardi4nfdi.de/entity/Q47980262003-03-18Paper
https://portal.mardi4nfdi.de/entity/Q45308462002-06-09Paper
https://portal.mardi4nfdi.de/entity/Q49523022000-10-08Paper
Efficient resource management for linear logic proof search2000-08-23Paper
https://portal.mardi4nfdi.de/entity/Q49448692000-03-22Paper
A general modal framework for the event calculus and its skeptical and credulous variants1999-07-20Paper
https://portal.mardi4nfdi.de/entity/Q48516061996-05-02Paper

Research outcomes over time

This page was built for person: Iliano Cervesato

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:731894&oldid=7779763"
Powered by MediaWiki