Current and future communication solutions for smart grids: A review

N Suhaimy, NAM Radzi, WSHMW Ahmad… - IEEE …, 2022 - ieeexplore.ieee.org
A smart grid provides a bidirectional flow of electricity and information whilst ensuring well-
balanced electricity supply and demand. The key enabler for the smart grid is its robust …

A Survey on Programmable Logic Controller Vulnerabilities, Attacks, Detections, and Forensics

Z Wang, Y Zhang, Y Chen, H Liu, B Wang, C Wang - Processes, 2023 - mdpi.com
Programmable Logic Controllers (PLCs), as specialized task-oriented embedded field
devices, play a vital role in current industrial control systems (ICSs), which are composed of …

Security of programmable logic controllers and related systems: today and tomorrow

W Alsabbagh, P Langendörfer - IEEE Open Journal of the …, 2023 - ieeexplore.ieee.org
Programmable logic controllers (PLCs) are indispensable in critical infrastructures and
industrial control systems. The increasing demand for enhanced cost-effectiveness and …

A survey of practical formal methods for security

T Kulik, B Dongol, PG Larsen, HD Macedo… - Formal aspects of …, 2022 - dl.acm.org
In today's world, critical infrastructure is often controlled by computing systems. This
introduces new risks for cyber attacks, which can compromise the security and disrupt the …

[HTML][HTML] Tiny Twins for detecting cyber-attacks at runtime using concise Rebeca time transition system

F Moradi, B Pourvatan, SA Asadollah… - Journal of Parallel and …, 2024 - Elsevier
This paper presents a method for detecting cyber-attacks in cyber-physical systems using a
monitor. The method employs an abstract model called Tiny Twin, which is built at design …

SoK: Attacks on industrial control logic and formal verification-based defenses

R Sun, A Mera, L Lu, D Choffnes - 2021 IEEE European …, 2021 - ieeexplore.ieee.org
Programmable Logic Controllers (PLCs) play a critical role in the industrial control systems.
Vulnerabilities in PLC programs might lead to attacks causing devastating consequences to …

Detecting Time-Delay Attacks in Industrial Control Systems Through State-Aware Inference

K Yang, Q Li, T Li, H Wang, L Sun - IEEE Internet of Things …, 2024 - ieeexplore.ieee.org
The time-delay attacks pose serious security threats to the industrial control systems (ICS),
where ICS infrastructures (eg, chemical factories) could suffer severe safety consequences …

K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs

K Wang, J Wang, CM Poskitt, X Chen… - IEEE Transactions …, 2023 - ieeexplore.ieee.org
Programmable Logic Controllers (PLCs) are responsible for automating process control in
many industrial systems (eg in manufacturing and public infrastructure), and thus it is critical …

Charlie, Charlie, Charlie on Industrial Control Systems: PLC Control Logic Attacks by Design, Not by Chance

A Ayub, W Jo, I Ahmed - 2024 IEEE International Symposium …, 2024 - ieeexplore.ieee.org
Programmable logic controllers (PLCs) in industrial control systems (ICS) run a control logic
program to monitor and control critical infrastructures in real-time, such as nuclear plants …

Automated Runtime Mitigation for Misconfiguration Vulnerabilities in Industrial Control Systems

Q Zhang, X Zhu, M Zhang, ZM Mao - Proceedings of the 25th …, 2022 - dl.acm.org
Cyber-physical industrial control systems (ICS) commonly implement configuration
parameters that can be remotely tuned by human-machine interfaces (HMI) at runtime …