11 citations · 25 across the 11 of their papers we have counts for
3 papers · 1 filter
Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies
Reza Soltani, Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg +1
This paper introduces AFDL, a logic-based framework for reasoning about safety, security, and defense interactions in Attack-Fault-Defense Trees, which is a model that captures all…
An ontological lens on attack trees: Toward adequacy and interoperability
Ítalo Oliveira, Stefano M. Nicoletti, Gal Engelberg +3
Attack Trees (AT) are a popular formalism for security analysis. They are meant to display an attacker's goal decomposed into attack steps needed to achieve it and compute certain…
BayesL: a Logical Framework for the Verification of Bayesian Networks
Stefano M. Nicoletti, E. Moritz Hahn, Mariëlle Stoelinga
Modern explainable AI still struggles with a fundamental gap: although Bayesian networks (BNs) provide transparent probabilistic structure, there is no unified way to formally expr…