Fabio Martinelli

From MaRDI portal
Person:692279

Available identifiers

zbMath Open martinelli.fabio.1MaRDI QIDQ692279

List of research outcomes





PublicationDate of PublicationType
On a front evolution problem for the multidimensional East model2021-12-29Paper
https://portal.mardi4nfdi.de/entity/Q52087742020-01-10Paper
A Quantitative Partial Model-Checking Function and Its Optimisation2019-01-10Paper
An improvement of algorithms for solving interface equations2016-06-09Paper
A formalization of credit and responsibility within the GNDC schema2016-05-06Paper
There are Two Sides to Every Question2016-01-08Paper
A uniform framework for security and trust modeling and analysis with crypto-CCS2013-12-13Paper
Towards Modelling Adaptive Attacker’s Behaviour2013-08-07Paper
Techniques for security checking: non-interference vs control flow analysis2013-07-24Paper
Formal models of timing attacks on web privacy2013-07-24Paper
A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials2012-12-04Paper
Theoretical Computer Science2010-02-23Paper
Formal Methods for Open Object-Based Distributed Systems2010-01-12Paper
Formal models and analysis of secure multicast in wired and wireless networks2009-11-25Paper
Foundations of Security Analysis and Design II2009-05-14Paper
Mathematical Foundations of Computer Science 20032007-12-07Paper
A simple framework for real-time cryptographic protocol analysis with compositional proof rules2004-11-22Paper
https://portal.mardi4nfdi.de/entity/Q44178882003-07-30Paper
https://portal.mardi4nfdi.de/entity/Q44084612003-06-29Paper
https://portal.mardi4nfdi.de/entity/Q47086002003-06-18Paper
A comparison of three authentication properties.2003-01-22Paper
Analysis of security protocols as open systems2003-01-21Paper
https://portal.mardi4nfdi.de/entity/Q27671802002-01-28Paper
https://portal.mardi4nfdi.de/entity/Q27541572001-12-09Paper
https://portal.mardi4nfdi.de/entity/Q44938942001-11-25Paper
https://portal.mardi4nfdi.de/entity/Q44992932001-03-05Paper

Research outcomes over time

This page was built for person: Fabio Martinelli