Graphical security models constitute a well-known, user-friendly way to represent the
security of a system. These classes of models are used by security experts to identify …

Complex industrial automation systems and processes, such as chemical processes,
manufacturing systems, wireless network systems, power and energy systems, smart grids …

Cybercriminals have become an imperative threat because they target the most valuable
resource on earth, data. Organizations prepare against cyber attacks by creating Cyber …

Adversary emulation is an offensive exercise that provides a comprehensive assessment of
a system's resilience against cyber attacks. However, adversary emulation is typically a …

Vulnerable parts in the cyber-physical power system can be maliciously attacked to trigger
cascading failures. This paper proposes a defense framework with active and passive …

Cyber-Physical Systems (CPSs) have a large input space, with discrete and continuous
elements across multiple layers. Hybrid Attack Graphs (HAGs) provide a flexible and efficient …

We propose a new method to quantify the impact of cyber attacks in Cyber Physical Systems
(CPSs). In particular, our method allows to identify the Design Parameter (DPs) affected due …

Attack graph is an essential tool for the security assessment of industrial Internet systems.
Unfortunately, the traditional attack graph mainly focuses on discrete information and cannot …

The propagation of cascading failures of modern power systems is mainly constrained by
the network topology and system parameter. In order to alleviate the cascading failure …

In an era where intricate cyber and physical systems are integrated into daily life, the
imperative for controlling and optimizing them emerges as a critical avenue. This avenue …