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 automotive sector faces escalating security risks due to advances in wireless
communication technology. Expanding on our previous research using a sensor pairing …

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 …

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

One of the most dynamic industries nowadays is the automotive industry. It has dramatically
changed from safe, comfortable, and equipped with many entertainment systems to …

Intelligent connected vehicles (ICVs) are equipped with extensive electronic control units
which offer convenience but also pose significant cybersecurity risks. Penetration testing …