The Smart Grid aims to enhance the electric grid's reliability, safety, and efficiency by
utilizing digital information and control technologies. Real-time analysis and state estimation …

Cyber–physical systems (CPSs) are ubiquitous in critical infrastructures, where
programmable logic controllers (PLCs) and physical components intertwine. However …

CONFIRM (CONtrol-Flow Integrity Relevance Metrics) is a new evaluation methodology and
microbenchmarking suite for assessing compatibility, applicability, and relevance of control …

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 …

The use of invariants in developing security mechanisms has become an attractive research
area because of their potential to both prevent attacks and detect attacks in Cyber-Physical …

In order to guarantee the security of industrial control system (ICS) processes, the proper
functioning of the programmable logic controllers (PLCs) must be ensured. In particular …

The paper describes the difficulties of formalizing the processes of production, transportation
and preparation of oil production of wells, particularly in the construction of a mathematical …

Cyber-physical systems (CPSs) in critical infrastructure face serious threats of attack,
motivating research into a wide variety of defence mechanisms such as those that monitor …

Cybersecurity has become an increasing priority for the smart grid. While playing an
important role in fault isolation, protective relays are vulnerable candidates for attacks …

Programmable logic controllers (PLCs) are vulnerable to malware, which is a key security
risk for Industrial Control Systems (ICSs). Existing attestation solutions are invasive because …