activity
20222026
most citedHow hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic

1 citations · 1 across the 7 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2025

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…