English
Related papers

Related papers: Checking is Believing: Event-Aware Program Anomaly…

200 papers

Cyber-Physical Production Systems (CPPS) are long-living and mechatronic systems, which include mechanics, electrics/electronics and software. The interdisciplinary nature combined with challenges and trends in the context of Industry 4.0…

Software Engineering · Computer Science 2022-12-20 Birgit Vogel-Heuser , Juliane Fischer , Dieter Hess , Eva-Maria Neumann , Marcus Wuerr

Cyber Physical Systems (CPS) are the conjoining of an entities' physical and computational elements. The development of a typical CPS system follows a sequence from conceptual modeling, testing in simulated (virtual) worlds, testing in…

Computers and Society · Computer Science 2014-08-05 Vijay Gadepally , Ashok Krishnamurthy , Umit Ozguner

Cyber-physical systems (CPS), which integrate algorithmic control with physical processes, often consist of physically distributed components communicating over a network. A malfunctioning or compromised component in such a CPS can lead to…

Software Engineering · Computer Science 2016-11-08 Yuqi Chen , Christopher M. Poskitt , Jun Sun

Fault attacks enable adversaries to manipulate the control-flow of security-critical applications. By inducing targeted faults into the CPU, the software's call graph can be escaped and the control-flow can be redirected to arbitrary…

Cryptography and Security · Computer Science 2023-03-27 Pascal Nasahl , Salmin Sultana , Hans Liljestrand , Karanvir Grewal , Michael LeMay , David M. Durham , David Schrammel , Stefan Mangard

Verifying integrity of software execution in low-end micro-controller units (MCUs) is a well-known open problem. The central challenge is how to securely detect software exploits with minimal overhead, since these MCUs are designed for low…

Cryptography and Security · Computer Science 2021-03-25 Ivan De Oliveira Nunes , Sashidhar Jakkamsetti , Gene Tsudik

Access control is an issue of paramount importance in cyber-physical systems (CPS). In this paper, an access control scheme, namely FEAC, is presented for CPS. FEAC can not only provide the ability to control access to data in normal…

Networking and Internet Architecture · Computer Science 2012-01-04 Guowei Wu , Dongze Lu , Feng Xia , Lin Yao

This paper studies an attacker against a cyber-physical system (CPS) whose goal is to move the state of a CPS to a target state while ensuring that his or her probability of being detected does not exceed a given bound. The attacker's…

Optimization and Control · Mathematics 2017-03-31 Yuan Chen , Soummya Kar , José M. F. Moura

A Cyber Physical System (CPS) consists of cyber components for computation and communication, and physical components such as sensors and actuators for process control. These components are networked and interact in a feedback loop. CPS are…

Cryptography and Security · Computer Science 2024-09-23 Sridhar Adepu , Venkata Reddy Palleti , Gyanendra Mishra , Aditya Mathur

Cyber-physical systems (CPS) such as unmanned aerial vehicles are vulnerable to slow degradation that develops without causing immediate or obvious failures. Small sensor biases or timing irregularities can accumulate over time, gradually…

Cryptography and Security · Computer Science 2025-12-17 Daniyal Ganiuly , Nurzhau Bolatbek , Assel Smaiyl

Significant progress has been made in anomaly detection and run-time monitoring to improve the safety and security of cyber-physical systems (CPS). However, less attention has been paid to hazard mitigation. This paper proposes a combined…

Cryptography and Security · Computer Science 2025-07-01 Xugui Zhou , Maxfield Kouzel , Chloe Smith , Homa Alemzadeh

Resilience to sensor and actuator attacks is a major concern in the supervisory control of discrete events in cyber-physical systems (CPS). In this work, we propose a new framework to design supervisors for CPS under attacks using…

Formal Languages and Automata Theory · Computer Science 2023-06-30 Yu Wang , Alper Kamil Bozkurt , Nathan Smith , Miroslav Pajic

Real-time cyber-physical systems depend on deterministic task execution to guarantee safety and correctness. Unfortunately, this determinism can unintentionally expose timing information that enables adversaries to infer task execution…

Systems and Control · Electrical Eng. & Systems 2026-02-04 Arkaprava Sain , Sunandan Adhikary , Soumyajit Dey

Cyber-physical systems, such as self-driving cars or autonomous aircraft, must defend against attacks that target sensor hardware. Analyzing system design can help engineers understand how a compromised sensor could impact the system's…

Cryptography and Security · Computer Science 2021-06-04 Jian Xiang , Nathan Fulton , Stephen Chong

Industrial cyber-physical systems (ICPSs) manage critical infrastructures by controlling the processes based on the "physics" data gathered by edge sensor networks. Recent innovations in ubiquitous computing and communication technologies…

Cryptography and Security · Computer Science 2021-01-12 Hakan Kayan , Matthew Nunes , Omer Rana , Pete Burnap , Charith Perera

In the era of Big Data and Internet-of-Things (IoT), all real-world environments are gradually becoming cyber-physical (e.g., emergency management, healthcare, smart manufacturing, etc.), with the presence of connected devices and embedded…

Software Engineering · Computer Science 2018-02-20 Andrea Marrella , Massimo Mecella

In this paper a novel approach to co-design controller and attack detector for nonlinear cyber-physical systems affected by false data injection (FDI) attack is proposed. We augment the model predictive controller with an additional…

Systems and Control · Electrical Eng. & Systems 2022-07-19 Mohammadreza Chamanbaz , Fabrizio Dabbene , Roland Bouffanais

In times of Industry 4.0 and cyber-physical systems (CPS) providing security is one of the biggest challenges. A cyber attack launched at a CPS poses a huge threat, since a security incident may affect both the cyber and the physical world.…

Cryptography and Security · Computer Science 2019-05-16 Igor Ivkic , Andreas Mauthe , Markus Tauber

Cyber-Physical Systems (CPS) allow us to manipulate objects in the physical world by providing a communication bridge between computation and actuation elements. In the current scheme of things, this sought-after control is marred by…

Software Engineering · Computer Science 2020-07-29 Muhammad Atif , Siddique Latif , Rizwan Ahmad , Adnan Khalid Kiani , Junaid Qadir , Adeel Baig , Hisao Ishibuchi , Waseem Abbas

The security of cyber-physical systems is first and foremost a safety problem, yet it is typically handled as a traditional security problem, which means that solutions are based on defending against threats and are often implemented too…

Cryptography and Security · Computer Science 2017-11-03 Bryan Carter , Georgios Bakirtzis , Carl Elks , Cody Fleming

Industrial control systems (ICSs) are widely used and vital to industry and society. Their failure can have severe impact on both economics and human life. Hence, these systems have become an attractive target for attacks, both physical and…

Cryptography and Security · Computer Science 2019-10-02 Moshe Kravchik , Asaf Shabtai