Abstract System software written in unsafe languages such as C/C++ is susceptible to
various types of security vulnerabilities. Historically, backward-edges such as return …

Microcontroller-based embedded systems have become ubiquitous with the emergence of
IoT technology. Given its critical roles in many applications, its security is becoming …

Arm Cortex-M processors are the most widely used 32-bit microcontrollers among
embedded and Internet-of-Things devices. Despite the widespread usage, there has been …

Arm Cortex-M processors are the most widely used 32-bit microcontrollers among
embedded and Internetof-Things devices. Despite the widespread usage, there has been …

Internet-of-Things devices such as autonomous vehicular sensors, medical devices, and
industrial cyber-physical systems commonly rely on small, resource-constrained …

Multicore embedded systems employ a big. LITTLE architecture to combine different cores
into a single microcontroller (MCU). However, resources sharing among cores raises …

This paper considers a strongly connected network of agents, each capable of partially
observing and controlling a discrete-time linear time-invariant (LTI) system that is jointly …

Confidential computing safeguards sensitive computations from untrusted clouds, with
Confidential Virtual Machines (CVMs) providing a secure environment for guest OS …

With the increasing popularity of AArch64 processors in general-purpose computing,
securing software running on AArch64 systems against control-flow hijacking attacks has …

Embedded systems are increasingly applied in numerous security-sensitive applications,
such as industrial controls, railway transports, intelligent vehicles, avionics and aerospace …