Login / Signup
Simon Rehwald
Publication Activity (10 Years)
Years Active: 2017-2020
Publications (10 Years): 3
Top Topics
Communication Services
Sat Solving
Attack Detection
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)