This book presents control and game-theoretic tools to design secure and resilient cyber-
physical systems, including cloud-enabled control systems, 3D printers, robotic systems, and …

Many IoT devices are geographically distributed without human administrators, which are
maintained by a remote server to enforce security updates, ideally through machine-to …

Recent work has shown that the timing behavior of a real-time system can be utilized by
attackers for various adverse purposes via schedule-based timing side-channel attacks. An …

The article addresses the issue of reliability of complex embedded control systems in the
safety-critical environment. In this article, we propose a novel approach to design controller …

Software rejuvenation has been proposed to guarantee safety of cyber-physical systems
(CPSs) against cyber-attacks. Recent work has demonstrated how this method can be …

Decentralized control systems exist in many scenarios where agents have the ability to fully
communicate with one another but do not do so for multiple reasons, including cost and the …

We propose HYDRA-C, a design-time evaluation framework for integrating monitoring
mechanisms in multicore real-time systems (RTS). Our goal is to ensure that security (or …

Software rejuvenation has been proposed and demonstrated as a strategy to protect cyber-
physical systems (CSPs) against unanticipated and undetectable cyber attacks, but the …

The threat of physical security can be from human factors, natural disasters, and information
technology itself. Therefore, to prevent threats, we need the right tools to control current …

While the existence of scheduler side-channels has been demonstrated recently for fixed-
priority real-time systems (RTS), there have been no similar explorations for dynamic-priority …