9 citations · 16 across the 3 of their papers we have counts for
4 papers
A Systematic Approach to Automotive Security
Masoud Ebrahimi, Stefan Marksteiner, Dejan Ničković +8
We propose a holistic methodology for designing automotivesystems that consider security a central concern at every design stage.During the concept design, we model the system arch…
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…
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…
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…