Login / Signup
Simon Rehwald
Publication Activity (10 Years)
Years Active: 2017-2020
Publications (10 Years): 3
2025
2016
Top Topics
2025
2016
Communication Services
2025
2016
Sat Solving
2025
2016
Attack Detection
2025
2016
Insider Attacks
Top Venues
CoRR
CREST@ETAPS
GraMSec@CSF
</>
Publications
</>
Amjad Ibrahim
,
Simon Rehwald
,
Antoine Scemama
,
Florian Andres
,
Alexander Pretschner
Causal Model Extraction from Attack Trees to Attribute Malicious Insider Attacks.
GraMSec@CSF
(2020)
Amjad Ibrahim
,
Simon Rehwald
,
Alexander Pretschner
Efficiently Checking Actual Causality with SAT Solving.
CoRR
(2019)
Simon Rehwald
,
Amjad Ibrahim
,
Kristian Beckers
,
Alexander Pretschner
ACCBench: A Framework for Comparing Causality Algorithms.
CREST@ETAPS
(2017)