Cover Image

How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Nicoletti, Stefano M., Lopuhaä-Zwakenberg, Milan, Stoelinga, Mariëlle, Massacci, Fabio, Budde, Carlos E.
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

ATM: a Logic for Quantitative Security Properties on Attack Trees
by: Nicoletti, Stefano M., et al.
Published: (2023)

Fuzzy quantitative attack tree analysis
by: Dang, Thi Kim Nhung, et al.
Published: (2024)

Quantitative analysis of attack-fault trees via Markov decision processes
by: Lopuhaä-Zwakenberg, Milan
Published: (2024)

Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies
by: Soltani, Reza, et al.
Published: (2025)

Attack tree metrics are operad algebras
by: Lopuhaä-Zwakenberg, Milan
Published: (2024)

Safety and Security Risk Mitigation in Satellite Missions via Attack-Fault-Defense Trees
by: Soltani, Reza, et al.
Published: (2025)

PFL: a Probabilistic Logic for Fault Trees
by: Nicoletti, Stefano M., et al.
Published: (2023)

Querying Fault and Attack Trees: Property Specification on a Water Network
by: Nicoletti, Stefano M., et al.
Published: (2024)

A Unified Compositional View of Attack Tree Metrics
by: Peterseim, Benedikt, et al.
Published: (2025)

Function Recovery Attacks in Gate-Hiding Garbled Circuits using SAT Solving
by: Yin, Chao, et al.
Published: (2026)

An ontological lens on attack trees: Toward adequacy and interoperability
by: Oliveira, Ítalo, et al.
Published: (2025)

Adaptive Differentially Quantized Subspace Perturbation (ADQSP): A Unified Framework for Privacy-Preserving Distributed Average Consensus
by: Li, Qiongxiu, et al.
Published: (2023)

Attack-Defense Trees with Offensive and Defensive Attributes (with Appendix)
by: Copae, Danut-Valentin, et al.
Published: (2025)

KindHML: formal verification of smart contracts based on Hennessy-Milner logic
by: Bartoletti, Massimo, et al.
Published: (2026)

Spoofing attack augmentation: can differently-trained attack models improve generalisation?
by: Ge, Wanying, et al.
Published: (2023)

BayesL: a Logical Framework for the Verification of Bayesian Networks
by: Nicoletti, Stefano M., et al.
Published: (2025)

Revisiting the attacker's knowledge in inference attacks against Searchable Symmetric Encryption
by: Damie, Marc, et al.
Published: (2025)

A limited technical background is sufficient for attack-defense tree acceptability
by: Schiele, Nathan Daniel, et al.
Published: (2025)

Polynomial Fingerprinting for Trees and Formulas
by: Prunescu, Mihai
Published: (2025)

Embedding-based classifiers can detect prompt injection attacks
by: Ayub, Md. Ahsan, et al.
Published: (2024)

Time-based GNSS attack detection
by: Spanghero, Marco, et al.
Published: (2025)

Zero-day attack and ransomware detection
by: Nhlapo, Steven Jabulani, et al.
Published: (2024)

Hardware-based stack buffer overflow attack detection on RISC-V architectures
by: Chenet, Cristiano Pegoraro, et al.
Published: (2024)

Network Simulation with Complex Cyber-attack Scenarios
by: Dias, Tiago, et al.
Published: (2024)

Fuzzy Fault Trees Formalized
by: Dang, Thi Kim Nhung, et al.
Published: (2024)

Automated generation of attack trees with optimal shape and labelling
by: Gadyatskaya, Olga, et al.
Published: (2023)

Forecasting the risk of software choices: A model to foretell security vulnerabilities from library dependencies and source code evolution
by: Budde, Carlos E., et al.
Published: (2024)

Shadow Blade: A tool to interact with attack vectors
by: Ril, Ariel R., et al.
Published: (2024)

Attacking at non-harmonic frequencies in screaming-channel attacks
by: Guillaume, Jeremy, et al.
Published: (2023)

LoRaWAN attack in military use case
by: Derache, Georges, et al.
Published: (2024)

Verifiable Boosted Tree Ensembles
by: Calzavara, Stefano, et al.
Published: (2024)

Inferentialist Resource Semantics
by: Gheorghiu, Alexander V., et al.
Published: (2024)

Repairing vulnerabilities without invisible hands. A differentiated replication study on LLMs
by: Camporese, Maria, et al.
Published: (2025)

Using ML filters to help automated vulnerability repairs: when it helps and when it doesn't
by: Camporese, Maria, et al.
Published: (2025)

Active Sybil attack and efficient defense strategy in IPFS DHT
by: Netto, V. H. de Moura, et al.
Published: (2025)

Verification of Robust Properties for Access Control Policies
by: Gheorghiu, Alexander V.
Published: (2026)

FlexProofs: A Vector Commitment with Flexible Linear Time for Computing All Proofs
by: Liu, Jing, et al.
Published: (2026)

Instrumenting Transaction Trace Properties in Smart Contracts: Extending the EVM for Real-Time Security
by: Chen, Zhiyang, et al.
Published: (2024)

A Logic of Sattestation
by: Jaggard, Aaron D., et al.
Published: (2024)

Proving Circuit Functional Equivalence in Zero Knowledge
by: Shen, Sirui, et al.
Published: (2026)