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 …

Context: Security testing is a challenging and effort-demanding task in IoT scenarios. The
heterogeneous devices expose different vulnerabilities that can influence the methods and …

Companies face increasing pressure to protect themselves and their customers from security
threats. Security by design is a proactive approach that builds security into all aspects of a …

As more vehicles are being connected to the Internet and equipped with autonomous driving
features, more robust safety and security measures are required for connected and …

The humble, mechanical automobile has gradually evolved into our modern connected and
autonomous vehicles (CAVs)—also known as “smart vehicles.” Similarly, our cities are …

The automotive sector faces escalating security risks due to advances in wireless
communication technology. Expanding on our previous research using a sensor pairing …

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

Systems that integrate cyber and physical aspects to create cyber-physical systems (CPS)
are becoming increasingly complex, but demonstrating the security of CPS is hard and …

Modern cars are becoming increasingly software-driven and interconnected, including new
innovative functions, such as over-the-air updates. Such functions are typically based on …

The rise in Connected and Automated Vehicles (CAVs) and Intelligent Transport Systems
(ITSs) introduced by OEMs has increased the demand for modern vehicle sophistication …