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 …

Malware poses an extremely dangerous threat to the digital world, significantly impacting
various domains such as smart cities, intelligent transportation, wireless sensor networks …

The rapid development of the Internet of Things (IoT) has brought about the processing and
storage of sensitive information on resource-constrained devices, which are susceptible to …

Many program analysis tools and techniques have been developed to assess program
vulnerability. Yet, they are based on the standard concept of reachability and represent an …

Certification through auditing allows to ensure that critical embedded systems are secure.
This entails reviewing their critical components and checking for dangerous execution paths …

This study aims to address the challenges of managing the vast amount of data generated
by Internet of Things (IoT) devices by categorizing stakeholders based on their roles in IoT …

The control flow of a program represents valuable and sensitive information; in embedded
systems, this information can take on even greater value as the resources, control flow, and …

To address the lack of datasets for agetech, this paper presents an approach for generating
synthetic datasets that include traces of benign and attack datasets for agetech. The …

Optical fault injection is a type of attack vector targeting cryptographic circuits where the
adversary injects faults during system operation to bypass defenses or reveal secret …

With the ever-increasing proliferation of edge devices for applications, such as home
automation and vehicle systems, their security vulnerabilities have received additional …