A Modest Security Analysis of Cyber-Physical Systems: A Case Study. - Ruggero Lanotte; Massimo Merro; Andrei Munteanu (FORTE, 2018)

On cyber-physical attacks in bilateral teleoperation systems: An experimental analysis. - Andrei Munteanu; Riccardo Muradore; Massimo Merro; Paolo Fiorini (ICPS, 2018)

A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version). - Ruggero Lanotte; Massimo Merro; Andrei Munteanu; Luca Viganò 001 (CoRR, 2019)

Runtime Enforcement for Control System Security. - Ruggero Lanotte; Massimo Merro; Andrei Munteanu (CSF, 2020)

Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking. - Andrei Munteanu; Michele Pasqua; Massimo Merro (FormaliSE@ICSE, 2020)

A Process Calculus Approach to Correctness Enforcement of PLCs. - Ruggero Lanotte; Massimo Merro; Andrei Munteanu (ICTCS, 2020)

A process calculus approach to correctness enforcement of PLCs (full version). - Ruggero Lanotte; Massimo Merro; Andrei Munteanu (CoRR, 2020)

A Formal Approach to Physics-based Attacks in Cyber-physical Systems. - Ruggero Lanotte; Massimo Merro; Andrei Munteanu; Luca Viganò 001 (ACM Trans. Priv. Secur., 2020)

Formal Impact Metrics for Cyber-physical Attacks. - Ruggero Lanotte; Massimo Merro; Andrei Munteanu; Simone Tini (CSF, 2021)

Runtime Enforcement of Programmable Logic Controllers. - Ruggero Lanotte; Massimo Merro; Andrei Munteanu (CoRR, 2021)

A process calculus approach to detection and mitigation of PLC malware. - Ruggero Lanotte; Massimo Merro; Andrei Munteanu (Theor. Comput. Sci., 2021)

Industrial Control Systems Security via Runtime Enforcement. - Ruggero Lanotte; Massimo Merro; Andrei Munteanu (ACM Trans. Priv. Secur., 2023)