9 citations · 17 across the 5 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.CR2022★ 9 cited
Identification and Verification of Attack-Tree Threat Models in Connected Vehicles
Masoud Ebrahimi, Christoph Striessnig, Joaquim Castella Triginer +1
As a result of the ever-increasing application of cyber-physical components in the automotive industry, cybersecurity has become an urgent topic. Adapting technologies and communic…
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…