Cybersecurity testing for automotive domain: A survey

F Luo, X Zhang, Z Yang, Y Jiang, J Wang, M Wu… - Sensors, 2022 - mdpi.com
Modern vehicles are more complex and interconnected than ever before, which also means
that attack surfaces for vehicles have increased significantly. Malicious cyberattacks will not …

A survey of practical formal methods for security

T Kulik, B Dongol, PG Larsen, HD Macedo… - Formal aspects of …, 2022 - dl.acm.org
In today's world, critical infrastructure is often controlled by computing systems. This
introduces new risks for cyber attacks, which can compromise the security and disrupt the …

[HTML][HTML] Systematic threat assessment and security testing of automotive over-the-air (OTA) updates

S Mahmood, HN Nguyen, SA Shaikh - Vehicular Communications, 2022 - Elsevier
Modern cars host numerous special-purpose computing and connectivity devices facilitating
the correct functioning of various in-vehicle systems. These devices host complex software …

Survey of model-based security testing approaches in the automotive domain

F Sommer, R Kriesten, F Kargl - IEEE Access, 2023 - ieeexplore.ieee.org
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 …

[HTML][HTML] A formal framework for security testing of automotive over-the-air update systems

R Kirk, HN Nguyen, J Bryans, SA Shaikh… - Journal of Logical and …, 2023 - Elsevier
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 …

A model-based security testing approach for automotive over-the-air updates

S Mahmood, A Fouillade, HN Nguyen… - … on Software Testing …, 2020 - ieeexplore.ieee.org
Modern connected cars are exposed to various cybersecurity threats due to the
sophisticated computing and connectivity technologies they host for providing enhanced …

CAD Support for Security and Robustness Analysis of Safety-critical Automotive Software

I Koley, S Dey, D Mukhopadhyay, S Singh… - ACM Transactions on …, 2023 - dl.acm.org
Modern vehicles contain a multitude of electronic control units that implement software
features controlling most of the operational, entertainment, connectivity, and safety aspects …

Formalising uptane in csp for security testing

R Kirk, HN Nguyen, J Bryans, S Shaikh… - 2021 IEEE 21st …, 2021 - ieeexplore.ieee.org
Modern vehicles are susceptible to cybersecurity attacks due to the complexity of their
electronics architecture and a progressive integration of connectivity technologies. A …

Test System Designing for Damping Control Unit

NS Divyashree, R Katiyar, V Naik - … International Conference on …, 2023 - ieeexplore.ieee.org
The automotive sector, particularly four-wheelers, is important to transportation in the
modern world. The suspension system is what provides a smooth ride in a car. It is very …