Recent studies have revealed that control programs running on embedded devices suffer
from both control-oriented attacks (eg, code-injection or code-reuse attacks) and data …

Anomaly detection has been a long-standing security approach with versatile applications,
ranging from securing server programs in critical environments, to detecting insider threats …

Securing cyber-physical systems (CPS) against malicious attacks is of paramount
importance because these attacks may cause irreparable damages to physical systems …

Nowadays, the growing pervasiveness of digital components and their interconnection in the
so-called Internet of Things, raises serious questions regarding security and integrity not …

In today's open-source industry, RISC-V based embedded devices are used in various
applications where security is critical. RISC-V processors are vulnerable to many runtime …

Memory-corruption vulnerability is one of the most common attack vectors used to
compromise computer systems. Such vulnerabilities could lead to serious security problems …

The Internet-of-Things (IoT) is a rapidly growing phenomenon. While IoT-enabled objects
can provide rich features that can improve users' lives, security failures can lead to severe …

Automatically generating proofs of safety properties for software is important as software
becomes safety-critical, eg, in medical devices and automobiles. While current techniques …

Embedded software today is pervasive: they can be found everywhere, from coffee makers
and medical devices, to cars and aircraft. Embedded software today is also open and …