A survey on recent advanced research of CPS security

Z Wang, W Xie, B Wang, J Tao, E Wang - Applied Sciences, 2021 - mdpi.com
Cyber-physical systems (CPSs) are next-generation intelligent systems that integrate
computing, communication, and control. Malicious attacks on CPSs can lead to both …

Detecting PLC intrusions using control invariants

Z Yang, L He, H Yu, C Zhao, P Cheng… - IEEE Internet of Things …, 2022 - ieeexplore.ieee.org
Programmable logic controllers (PLCs), ie, the core of control systems, are well-known to be
vulnerable to a variety of cyber attacks. To mitigate this issue, we design PLC-Sleuth, a …

Mini-me, you complete me! data-driven drone security via dnn-based approximate computing

A Ding, P Murthy, L Garcia, P Sun, M Chan… - Proceedings of the 24th …, 2021 - dl.acm.org
The safe operation of robotic aerial vehicles (RAV) requires effective security protection of
their controllers against cyber-physical attacks. The frequency and sophistication of past …

Hybrid knowledge and data driven synthesis of runtime monitors for cyber-physical systems

X Zhou, B Ahmed, JH Aylor, P Asare… - IEEE Transactions on …, 2023 - ieeexplore.ieee.org
Recent advances in sensing and computing technology have led to the proliferation of
Cyber-Physical Systems (CPS) in safety-critical domains. However, the increasing device …

Reverse engineering and retrofitting robotic aerial vehicle control firmware using dispatch

T Kim, A Ding, S Etigowni, P Sun, J Chen… - Proceedings of the 20th …, 2022 - dl.acm.org
Unmanned Aerial Vehicles as a service (UAVaaS) has increased the field deployment of
Robotic Aerial Vehicles (RAVs) for different services such as transportation and terrain …

{PLC-Sleuth}: Detecting and Localizing {PLC} Intrusions Using Control Invariants

Z Yang, L He, P Cheng, J Chen, DKY Yau… - … Symposium on Research …, 2020 - usenix.org
Programmable Logic Controllers (PLCs) are the ground of control systems, which are
however, vulnerable to a variety of cyber attacks, especially for networked control systems …

Get your cyber-physical tests done! data-driven vulnerability assessment of robotic aerial vehicles

A Ding, M Chan, A Hass… - 2023 53rd Annual …, 2023 - ieeexplore.ieee.org
The rapid growth of robotic aerial vehicles (RAVs) has attracted extensive interest in
numerous public and civilian applications, from flying drones to quadrotors. Security of RAV …

Unveiling Physical Semantics of PLC Variables Using Control Invariants

Z Yang, L He, Y Ruan, P Cheng… - IEEE Transactions on …, 2024 - ieeexplore.ieee.org
The security risk of semantic attacks to Industrial Control Systems (ICSs) is increasing.
Semantic attacks manipulate targeted system modules by identifying the physical semantics …

Reverse engineering physical semantics of PLC program variables using control invariants

Z Yang, L He, H Yu, C Zhao, P Cheng… - Proceedings of the 20th …, 2022 - dl.acm.org
Semantic attacks have incurred increasing threats to Industrial Control Systems (ICSs),
which manipulate targeted system modules by identifying the physical semantics of …

MIRAGE: Multi-Binary Image Risk Assessment with Attack Graph Employment

D Tayouri, T Nachum, A Shabtai - arXiv preprint arXiv:2311.03565, 2023 - arxiv.org
Attackers can exploit known vulnerabilities to infiltrate a device's firmware and the
communication between firmware binaries, in order to pass between them. To improve …