97 citations · 120 across the 2 of their papers we have counts for
3 papers
cs.CR2022★ 1 cited
Threat Repair with Optimization Modulo Theories
Thorsten Tarrach, Masoud Ebrahimi, Sandra König +3
We propose a model-based procedure for automatically preventing security threats using formal models. We encode system models and potential threats as satisfiability modulo theory…
econ.GN2022★ 23 cited
Decisions with Uncertain Consequences -- A Total Ordering on Loss-Distributions
Stefan Rass, Sandra König, Stefan Schauer
Decisions are often based on imprecise, uncertain or vague information. Likewise, the consequences of an action are often equally unpredictable, thus putting the decision maker int…
cs.CR2022★ 97 cited
Defending Against Advanced Persistent Threats using Game-Theory
Stefan Rass, Sandra König, Stefan Schauer
Advanced persistent threats (APT) combine a variety of different attack forms ranging from social engineering to technical exploits. The diversity and usual stealthiness of APT tur…