The Metaverse is a concept used to refer to a virtual world that exists in parallel to the
physical world. It has grown from a conceptual level to having real applications in virtual …

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 …

Abstract Advanced Driver Assistance System (ADAS) is a Cyber-Physical System (CPS)
application mainly developed for human–machine interaction. We employ the CPS …

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 …

The virtualization and softwarization of 5G and NextG are critical enablers of the shift to
flexibility, but they also present a potential attack surface for threats. However, current …

The automated system replaces the driver, which makes autonomous vehicle to improve
safety and convenience, so the market of autonomous vehicle is huge. However, the real …

Softwarization and virtualization in 5G and beyond necessitate thorough testing to ensure
the security of critical infrastructure and networks. This involves identifying vulnerabilities …

Fuzz testing is an indispensable test-generation tool in software security. Fuzz testing uses
automated directed randomness to explore a variety of execution paths in software, trying to …

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 …

Saudi Arabia has an ambitious vision that embraces artificial intelligence (AI) technologies
at a mass scale in new cities such as Neom. Self‐driving has recently become one of the …