Fabio Massacci

Available identifiers

zbMath Open massacci.fabioWikidataQ57166209 ScholiaQ57166209MaRDI QIDQ861697

List of research outcomes

Publication	Date of Publication	Type
Practical witness-key-agreement for blockchain-based dark pools financial trading	2022-06-22	Paper
Minimal Disclosure in Hierarchical Hippocratic Databases with Delegation	2022-03-09	Paper
Strongly analytic tableaux for normal modal logics	2020-01-21	Paper
A uniform tableaux method for nonmonotonic modal logics	2019-10-08	Paper
Tableaux methods for access control in distributed systems	2019-01-15	Paper
Tableaux and algorithms for Propositional Dynamic Logic with Converse	2019-01-15	Paper
Verifying security protocols as planning in logic programming	2017-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q2848480	2013-09-26	Paper
Attacking Fair-Exchange Protocols	2013-07-24	Paper
A Method for Security Governance, Risk, and Compliance (GRC): A Goal-Process Approach	2011-09-16	Paper
A self-protecting and self-healing framework for negotiating services and trust in autonomic communication systems	2009-10-26	Paper
Matching in security-by-contract for mobile code	2009-07-20	Paper
Trust Management	2007-09-25	Paper
Verifying the SET purchase protocols	2007-01-30	Paper
How to fake an RSA signature by encoding modular root finding as a SAT problem	2003-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q4707750	2003-06-11	Paper
Combining deduction and model checking into tableaux and algorithms for converse-PDL.	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4786009	2002-12-12	Paper
https://portal.mardi4nfdi.de/entity/Q2767083	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2751040	2001-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q2721183	2001-07-01	Paper
Logical cryptanalysis as a SAT problem: Encoding and analysis of the U. S. Data Encryption Standard	2001-05-01	Paper
EXPtime tableaux for ALC	2000-12-12	Paper
The proof complexity of analytic and clausal tableaux	2000-08-21	Paper
Single step tableaux for modal logics. Computational properties, complexity and methodology	2000-05-17	Paper
Tableau methods for formal verification of multi-agent distributed systems	1998-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q3838815	1998-08-13	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 Massacci