Cyber-physical systems (CPS) are vulnerable to attacks targeting outgoing actuation
commands that modify their physical behaviors. The limited resources in such systems …

Modern Internet-of-Things devices are vulnerable to attacks targeting outgoing actuation
commands that modify their physical behaviors. We present a “selective checking” …

In the last decades, CPSs have experienced a significant technological evolution and
increased connectivity, at the cost of greater exposure to cyber-attacks. Since many CPS are …

Cyber-physical systems (CPSes) have been replacing their mechanical counterparts in
many safety and securitycritical applications (eg, door locks, automobiles, and critical …

Securing Cyber-Physical Systems (CPS) against cyber-attacks is challenging due to the
wide range of possible attacks-from stealthy ones that seek to manipulate/drop/delay control …

Verifying complex Cyber-Physical Systems (CPS) is increasingly important given the push to
deploy safety-critical autonomous features. Unfortunately, traditional verification methods do …

Cyber-physical control systems, such as industrial control systems (ICS), are increasingly
targeted by cyberattacks. Such attacks can potentially cause tremendous damage, affect …

Verifying complex Cyber-Physical Systems (CPS) is increasingly important given the push to
deploy safety-critical autonomous features. Unfortunately, traditional verification methods do …

Industries are embracing information technology and constructing more robust machines
known as Cyber-Physical Systems (CPS) to automate processes. CPSs are envisioned to be …

In the past decade we have seen an active research community proposing attacks and
defenses to Cyber-Physical Systems (CPS). Most of these attacks and defenses have been …