A model-based security testing approach for automotive over-the-air updates
Modern connected cars are exposed to various cybersecurity threats due to the
sophisticated computing and connectivity technologies they host for providing enhanced …
sophisticated computing and connectivity technologies they host for providing enhanced …
[HTML][HTML] Systematic threat assessment and security testing of automotive over-the-air (OTA) updates
Modern cars host numerous special-purpose computing and connectivity devices facilitating
the correct functioning of various in-vehicle systems. These devices host complex software …
the correct functioning of various in-vehicle systems. These devices host complex software …
A model-driven methodology for automotive cybersecurity test case generation
S Marksteiner, P Priller - 2021 IEEE European Symposium on …, 2021 - ieeexplore.ieee.org
Through international regulations (most prominently the latest UNECE regulation) and
standards, the already widely perceived higher need for cybersecurity in automotive systems …
standards, the already widely perceived higher need for cybersecurity in automotive systems …
[HTML][HTML] A formal framework for security testing of automotive over-the-air update systems
Modern vehicles are comparable to desktop computers due to the increase in connectivity.
This fact also extends to potential cyber-attacks. A solution for preventing and mitigating …
This fact also extends to potential cyber-attacks. A solution for preventing and mitigating …
Survey of model-based security testing approaches in the automotive domain
Modern connected or autonomous vehicles (AVs) are highly complex cyber-physical
systems. As a result of the high number of different technologies and connectivity features …
systems. As a result of the high number of different technologies and connectivity features …
Security vulnerability metrics for connected vehicles
L Moukahal, M Zulkernine - 2019 IEEE 19th International …, 2019 - ieeexplore.ieee.org
Software integration in modern vehicles is continuously expanding. This is due to the fact
that vehicle manufacturers are always trying to enhance and add more innovative and …
that vehicle manufacturers are always trying to enhance and add more innovative and …
An open software-based framework for automotive cybersecurity testing
T Faschang, G Macher - European Conference on Software Process …, 2023 - Springer
With the rise of cyberattacks in the last years, cybersecurity is of high importance in the
context of the automotive domain [,]. As current cars are more connected and reliant on …
context of the automotive domain [,]. As current cars are more connected and reliant on …
A process to facilitate automated automotive cybersecurity testing
S Marksteiner, N Marko, A Smulders… - 2021 IEEE 93rd …, 2021 - ieeexplore.ieee.org
Modern vehicles become increasingly digitalized with advanced information technology-
based solutions like advanced driving assistance systems and vehicle-to-x communications …
based solutions like advanced driving assistance systems and vehicle-to-x communications …
SaSeVAL: a safety/security-aware approach for validation of safety-critical systems
C Wolschke, B Sangchoolie, J Simon… - 2021 51st Annual …, 2021 - ieeexplore.ieee.org
Increasing communication and self-driving capabilities for road vehicles lead to threats
which could potentially be exploited by attackers. Especially attacks leading to safety …
which could potentially be exploited by attackers. Especially attacks leading to safety …
Model-based security testing of vehicle networks
Modern vehicles consist of a large number of electronic information technology components,
which communicate with each other and external components. To protect vehicles against …
which communicate with each other and external components. To protect vehicles against …