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 …

While recent developments in autonomous vehicle (AV) technology highlight substantial
progress, we lack tools for rigorous and scalable testing. Real-world testing, the de facto …

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 automobiles are equipped with connectivity features to enhance the user's comfort.
Bluetooth is one such communication technology that is used to pair a personal device with …

The modern vehicle requires connectivity in order to enable and enhance comfort and
convenience features so desired by customers. This connectivity however also allows the …

Modern vehicles become increasingly digitalized with advanced information technology-
based solutions like advanced driving assistance systems and vehicle-to-x communications …

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 …

Over the past few decades, the automotive industry was mostly focused on testing the safety
aspects of a vehicle. However, this was not the case with security testing as it only began to …

This paper presents an approach, using the process-algebra CSP, that aims to support
systematic security testing of ECU components. An example use case regarding Over-The …

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 …