Fabio Martinelli

Available identifiers

zbMath Open martinelli.fabio.1MaRDI QIDQ692279

List of research outcomes

Publication	Date of Publication	Type
On a front evolution problem for the multidimensional East model	2021-12-29	Paper
https://portal.mardi4nfdi.de/entity/Q5208774	2020-01-10	Paper
A Quantitative Partial Model-Checking Function and Its Optimisation	2019-01-10	Paper
A Formalization of Credit and Responsibility Within the GNDC Schema	2016-05-06	Paper
There are Two Sides to Every Question	2016-01-08	Paper
A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS	2013-12-13	Paper
Towards Modelling Adaptive Attacker’s Behaviour	2013-08-07	Paper
Techniques for Security Checking	2013-07-24	Paper
Formal Models of Timing Attacks on Web Privacy	2013-07-24	Paper
A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials	2012-12-04	Paper
Theoretical Computer Science	2010-02-23	Paper
Formal Methods for Open Object-Based Distributed Systems	2010-01-12	Paper
Formal models and analysis of secure multicast in wired and wireless networks	2009-11-25	Paper
Foundations of Security Analysis and Design II	2009-05-14	Paper
Mathematical Foundations of Computer Science 2003	2007-12-07	Paper
A simple framework for real-time cryptographic protocol analysis with compositional proof rules	2004-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q4417888	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4408461	2003-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q4708600	2003-06-18	Paper
A comparison of three authentication properties.	2003-01-22	Paper
Analysis of security protocols as open systems	2003-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q2767180	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2754157	2001-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q4493894	2001-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q4499293	2001-03-05	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: Fabio Martinelli