9 citations · 22 across the 10 of their papers we have counts for
12 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…
A Probabilistic Calculus of Cyber-Physical Systems
Ruggero Lanotte, Massimo Merro, Simone Tini
We propose a hybrid probabilistic process calculus for modelling and reasoning on cyber-physical systems (CPSs). The dynamics of the calculus is expressed in terms of a probabilist…
A Calculus of Cyber-Physical Systems
Ruggero Lanotte, Massimo Merro
We propose a hybrid process calculus for modelling and reasoning on cyber-physical systems (CPS{s}). The dynamics of the calculus is expressed in terms of a labelled transition sys…
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…
A Semantic Theory of the Internet of Things
Valentina Castiglioni, Ruggero Lanotte, Massimo Merro
We propose a process calculus for modelling systems in the Internet of Things paradigm. Our systems interact both with the physical environment, via sensors and actuators, and with…
Semantics for Locking Specifications
Michael Ernst, Damiano Macedonio, Massimo Merro +1
To prevent concurrency errors, programmers need to obey a locking discipline. Annotations that specify that discipline, such as Java's @GuardedBy, are already widely used. Unfortun…
Modelling MAC-Layer Communications in Wireless Systems
Andrea Cerone, Matthew Hennessy, Massimo Merro
We present a timed process calculus for modelling wireless networks in which individual stations broadcast and receive messages; moreover the broadcasts are subject to collisions.…