4 citations · 15 across the 9 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2021
Runtime Enforcement of Programmable Logic Controllers
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
With the advent of Industry 4.0, industrial facilities and critical infrastructures are transforming into an ecosystem of heterogeneous physical and cyber components, such as progr…
cs.CR2016
A Formal Approach to Cyber-Physical Attacks
Ruggero Lanotte, Massimo Merro, Riccardo Muradore +1
We apply formal methods to lay and streamline theoretical foundations to reason about Cyber-Physical Systems (CPSs) and cyber-physical attacks. We focus on %a formal treatment of b…