Autonomous, or self-driving, cars are emerging as the solution to several problems primarily
caused by humans on roads, such as accidents and traffic congestion. However, those …

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 …

Automated Driving Systems (ADS) have made great achievements in recent years thanks to
the efforts from both academia and industry. A typical ADS is composed of multiple modules …

Autonomous driving has become real; semi-autonomous driving vehicles in an affordable
price range are already on the streets, and major automotive vendors are actively …

Due to the increasing usage of Deep Neural Network (DNN) based autonomous driving
systems (ADS) where erroneous or unexpected behaviours can lead to catastrophic …

Autonomous driving has shown great potential to reform modern transportation. Yet its
reliability and safety have drawn a lot of attention and concerns. Compared with traditional …

Cryptography is a core component of many security applications, and flaws hidden in its
implementation will affect the functional integrity or, more severely, pose threats to data …

Multi-Robot Systems (MRSs) show significant advantages to deal with complex tasks
efficiently. However, the system complexity inevitably enlarges the attack surface and adds …

Context: Simulation-based testing is essential when developing Advanced Driver-
Assistance Systems (ADASs) and autonomous driving (AD) systems, producing fast, high …

The advancement of automation in safety-critical systems has opened the door to newer
opportunities in several fields. However, the increasing complexity has led to more risks and …