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 …

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 …

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

In the fields of social networking, media, and management, web applications on the Internet
play a very indispensable role. A large amount of personal privacy information and login …

Modern intelligent and networked vehicles are increasingly equipped with electronic control
units (ECUs) with increased computing power. These electronic devices form an in-vehicle …

Smart and autonomous vehicles are inseparable parts of the future Intelligent Transportation
Systems (ITS). However, ITS components, and especially its vehicles, are prone to cyber …

The Connected Automated Vehicle (CAV)'s deployment is proof of the wide evolution of
autonomous driving technologies enabling vehicles to gradually dispose of their drivers …

Developments in connected and autonomous vehicle technologies provide drivers with
many convenience and safety benefits. Unfortunately, as connectivity and complexity within …