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 …
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 …
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 …
industrial control systems. The increasing demand for enhanced cost-effectiveness and …
A survey of practical formal methods for security
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 …
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 …
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
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 …
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 …
where ICS infrastructures (eg, chemical factories) could suffer severe safety consequences …
K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs
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 …
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
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 …
program to monitor and control critical infrastructures in real-time, such as nuclear plants …
Automated Runtime Mitigation for Misconfiguration Vulnerabilities in Industrial Control Systems
Cyber-physical industrial control systems (ICS) commonly implement configuration
parameters that can be remotely tuned by human-machine interfaces (HMI) at runtime …
parameters that can be remotely tuned by human-machine interfaces (HMI) at runtime …