The increasing complexity and connectivity of automotive systems have raised concerns
about their vulnerability to security breaches. As a result, the integration of formal methods …

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 …

Modern cars host numerous special-purpose computing and connectivity devices facilitating
the correct functioning of various in-vehicle systems. These devices host complex software …

A comprehensive cybersecurity evaluation of automotive on-board networks has become a
crucial antecedent to the commercial distribution of vehicles. However, the means to perform …

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 …

The development of technologies such as Information Communication Technology (ICT),
Internet of Vehicles (IoVs), and industrial intelligence has made automotive cybersecurity …

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 …

Modern vehicles are increasingly interconnected through various communication channels,
which requires secure access for authorized users, the protection of driver assistance and …

Intelligent connected vehicles (ICVs) are equipped with extensive electronic control units
which offer convenience but also pose significant cybersecurity risks. Penetration testing …

As the need for automotive assurance continues to grow, it becomes necessary to develop
approaches which can provide assurance cases in a systematic and efficient manner. In the …