Smart grid (SG) networks are newly upgraded networks of connected objects that greatly
improve reliability, efficiency, and sustainability of the traditional energy infrastructure. In this …

Security is an increasing concern for real-time systems (RTS). Over the last decade or so,
researchers have demonstrated attacks and defenses aimed at such systems. In this article …

The CyBOK project would like to understand how the CyBOK is being used and its uptake.
The project would like organisations using, or intending to use, CyBOK for the purposes of …

In the last decade, deep learning techniques reached human-level performance in several
specific tasks as image recognition, object detection, and adaptive control. For this reason …

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 …

Physical plants that form the core of the cyber-physical systems (CPSs) often have stringent
safety requirements and, recent attacks have shown that cyber intrusions can cause damage …

Software rejuvenation refers to the periodic restoration of a computing system's software and
data with a previously saved image to eliminate undesired behavior due to unknown or …

Modern embedded and cyber-physical systems are ubiquitous. Many critical cyber-physical
systems have real-time requirements (eg, avionics, automobiles, power grids, manufacturing …

Software rejuvenation has been proposed as a strategy to protect cyber-physical systems
(CSPs) against unanticipated and undetectable cyber attacks. The basic idea is to refresh …

In this paper, we propose a framework called Contego-TEE to secure Internet-of-Things (IoT)
edge devices with timing requirements from control spoofing attacks where an adversary …