As technology has evolved, cities have become increasingly smart. Smart mobility is a
crucial element in smart cities, and autonomous vehicles are an essential part of smart …

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 …

In the last decade, the automotive industry incorporated multiple electronic components into
vehicles introducing various capabilities for adversaries to generate diverse types of attacks …

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 …

In an era of connectivity and automation, the vehicle industry is adopting numerous
technologies to transform driver-centric vehicles into intelligent mechanical devices driven …

Controller Area Network (CAN) has established itself as the main internal communication
medium for vehicles. However, recent works have shown that error handling makes CAN …

As the intelligent car-networking represents the new direction of the future vehicular
development, automotive security plays an increasingly important role in the whole car …

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 …

Military weapon systems are considered as “system of systems”(SoS). They comprise
various equipment based on computers and networks and have been developed using …

The In-Vehicle Infotainment (IVI) system of a modern connected vehicle is a critical attack
point and must be thoroughly tested. In this paper, we introduce a comprehensive …