1 citations · 1 across the 1 of their papers we have counts for
2 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…
cs.OH2019
Autonomous CPS mobility securely designed
David Hofbauer, Christoph Schmittner, Manuela Brandstetter +1
In the last years the interconnection and ongoing development of physical systems combined with cyber resources has led to increasing automation. Through this progress in technolog…