9 citations · 17 across the 5 of their papers we have counts for
5 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…
Safety Synthesis Sans Specification
Roderick Bloem, Hana Chockler, Masoud Ebrahimi +2
We define the problem of learning a transducer from a target language containing possibly conflicting transducers, using membership queries and conjecture queries. The re…
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version)
Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi +6
Models play an essential role in the design process of cyber-physical systems. They form the basis for simulation and analysis and help in identifying design problems as early as p…