4 citations · 15 across the 9 of their papers we have counts for
11 papers
Measuring Robustness in Cyber-Physical Systems under Sensor Attacks
Jian Xiang, Ruggero Lanotte, Simone Tini +2
This paper contributes a formal framework for quantitative analysis of bounded sensor attacks on cyber-physical systems, using the formalism of differential dynamic logic. Given a…
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…
A process calculus approach to correctness enforcement of PLCs (full version)
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
We define a simple process calculus, based on Hennessy and Regan's Timed Process Language, for specifying networks of communicating programmable logic controllers (PLCs) enriched w…
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…
Towards a formal notion of impact metric for cyber-physical attacks (full version)
Ruggero Lanotte, Massimo Merro, Simone Tini
Industrial facilities and critical infrastructures are transforming into "smart" environments that dynamically adapt to external events. The result is an ecosystem of heterogeneous…
Equational Reasonings in Wireless Network Gossip Protocols
Ruggero Lanotte, Massimo Merro, Simone Tini
Gossip protocols have been proposed as a robust and efficient method for disseminating information throughout large-scale networks. In this paper, we propose a compositional analys…