As many types of IoT devices worm their way into numerous settings and many aspects of
our daily lives, awareness of their presence and functionality becomes a source of major …

Deeply embedded systems powered by microcontrollers are becoming popular with the
emergence of Internet of Things (IoT) technology. However, these devices primarily run …

Fault attacks present unique safety and security challenges that require dedicated
countermeasures, even for bug-free programs. Models of these complex attacks are made …

The emergence of Real-Time Systems with increased connections to their environment has
led to a greater demand in security for these systems. Memory corruption attacks, which …

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 …

This article is devoted to the problems of static and runtime integrity for cloud deployments.
Existing remote attestation solutions for cloud infrastructure do not cover static and dynamic …

Real-time and embedded systems are predominantly written in C, a language that is
notoriously not memory safe. This has led to widespread memory-corruption vulnerabilities …

Control flow critical metadata play a key role in hardware-based control flow integrity (CFI)
mechanisms that effectively monitor and secure program control flow based on pre-extracted …

Connected embedded systems and cyber-physical systems exhibit larger attack surface
than isolated ones. Control-flow integrity (CFI) is a set of techniques to prevent attackers …

Code randomization, aka software diversification, is an effective way to mitigate code-reuse
attacks. This mechanism diversifies the target software into heterogeneous variants, making …