SoK: Security in real-time systems

M Hasan, A Kashinath, CY Chen, S Mohan - ACM Computing Surveys, 2024 - dl.acm.org
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 …

Securing real-time internet-of-things

CY Chen, M Hasan, S Mohan - Sensors, 2018 - mdpi.com
Modern embedded and cyber-physical systems are ubiquitous. Many critical cyber-physical
systems have real-time requirements (eg, avionics, automobiles, power grids, manufacturing …

[PDF][PDF] The cyber security body of knowledge

D Basin - University of Bristol, ch. Formal Methods for, 2021 - cybok.org
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 …

A safe, secure, and predictable software architecture for deep learning in safety-critical systems

A Biondi, F Nesti, G Cicero, D Casini… - IEEE Embedded …, 2019 - ieeexplore.ieee.org
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 …

Cross-layer design for secure and resilient cyber-physical systems

Q Zhu, Z Xu - Cham, Switzerland: Springer, 2020 - Springer
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 …

Preserving physical safety under cyber attacks

F Abdi, CY Chen, M Hasan, S Liu… - IEEE Internet of …, 2018 - ieeexplore.ieee.org
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 for safe operation of cyber–physical systems in the presence of run-time cyberattacks

R Romagnoli, BH Krogh, D de Niz… - … on Control Systems …, 2023 - ieeexplore.ieee.org
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 …

Combining switching mechanism with re-initialization and anomaly detection for resiliency of cyber–physical systems

H Fu, P Krishnamurthy, F Khorrami - Automatica, 2025 - Elsevier
Cyber–physical systems (CPS) play a pivotal role in numerous critical real-world
applications that have stringent requirements for safety. To enhance the CPS resiliency …

Design of software rejuvenation for CPS security using invariant sets

R Romagnoli, BH Krogh… - 2019 American Control …, 2019 - ieeexplore.ieee.org
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 …

Protecting actuators in safety-critical IoT systems from control spoofing attacks

M Hasan, S Mohan - Proceedings of the 2nd International ACM …, 2019 - dl.acm.org
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 …