ACCBench: A Framework for Comparing Causality Algorithms. - Simon Rehwald; Amjad Ibrahim; Kristian Beckers; Alexander Pretschner (CREST@ETAPS, 2017)

Efficiently Checking Actual Causality with SAT Solving. - Amjad Ibrahim; Simon Rehwald; Alexander Pretschner (CoRR, 2019)

Causal Model Extraction from Attack Trees to Attribute Malicious Insider Attacks. - Amjad Ibrahim; Simon Rehwald; Antoine Scemama; Florian Andres; Alexander Pretschner (GraMSec@CSF, 2020)