A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version)

Ruggero Lanotte, Massimo Merro, Andrei Munteanu +1

We apply formal methods to lay and streamline theoretical foundations to reason about Cyber-Physical Systems (CPSs) and physics-based attacks, i.e., attacks targeting physical devi…