A Formal Approach to Physics-based Attacks in Cyber-physical Systems.

Ruggero Lanotte Massimo Merro Andrei Munteanu Luca Viganò

Published in: ACM Trans. Priv. Secur. (2020)

Keyphrases

cyber physical systems
cyber physical
physical world
cyber security
ubiquitous computing
critical infrastructure
sensor networks
low cost
lightweight
human computer interaction
activity recognition
embedded systems