2 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
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…