Massimo Merro
Università degli Studi di Verona
H-index: 25
Europe-Italy
Top articles of Massimo Merro
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Measuring Robustness in Cyber-Physical Systems under Sensor Attacks | arXiv preprint arXiv:2403.05829 | Jian Xiang Ruggero Lanotte Simone Tini Stephen Chong Massimo Merro | 2024/3/9 |
Towards A High-interaction Physics-aware Honeynet for Industrial Control Systems | Marco Lucchese Massimo Merro Federica Paci Nicola Zannone | 2023/3/27 | |
ICS Honeypot Interactions: A Latitudinal Study | Francesco Lupia Marco Lucchese Massimo Merro Nicola Zannone | 2023/12/15 | |
HoneyICS: A High-interaction Physics-aware Honeynet for Industrial Control Systems | Marco Lucchese Francesco Lupia Massimo Merro Federica Paci Nicola Zannone | 2023/8/29 | |
Towards Obfuscation of Programmable Logic Controllers | Vittoria Cozza Mila Dalla Preda Marco Lucchese Massimo Merro Nicola Zannone | 2023/8/29 | |
Impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case Study | Ruggero Lanotte Massimo Merro Nicola Zannone | 2023/6/10 | |
Quantitative robustness analysis of sensor attacks on cyber-physical systems | Stephen Chong Ruggero Lanotte Massimo Merro Simone Tini Jian Xiang | 2023/5/9 | |
Industrial control systems security via runtime enforcement | ACM Transactions on Privacy and Security | Ruggero Lanotte Massimo Merro Andrei Munteanu | 2022/11/9 |
Towards Reverse Engineering of Industrial Physical Processes | Mariano Ceccato Youssef Driouich Ruggero Lanotte Marco Lucchese Massimo Merro | 2022/9/26 | |
A Computational Framework for Formalizing Rules and Managing Changes in Normative Systems | Luca Pasetto | 2022 | |
A probabilistic calculus of cyber-physical systems | Information and Computation | Ruggero Lanotte Massimo Merro Simone Tini | 2021/8/1 |
Formal impact metrics for cyber-physical attacks | Ruggero Lanotte Massimo Merro Andrei Munteanu Simone Tini | 2021/6/21 | |
Runtime Enforcement of Programmable Logic Controllers | arXiv preprint arXiv:2105.10668 | Ruggero Lanotte Massimo Merro Andrei Munteanu | 2021/5/22 |
Friendly fire: cross-app interactions in IoT platforms | ACM Transactions on Privacy and Security (TOPS) | Musard Balliu Massimo Merro Michele Pasqua Mikhail Shcherbakov | 2021/4/1 |
A process calculus approach to detection and mitigation of PLC malware | Theoretical Computer Science | Ruggero Lanotte Massimo Merro Andrei Munteanu | 2021/10/12 |
A process calculus approach to correctness enforcement of PLCs (full version) | arXiv preprint arXiv:2007.09399 | Ruggero Lanotte Massimo Merro Andrei Munteanu | 2020/7/18 |
Runtime enforcement for control system security | Ruggero Lanotte Massimo Merro Andrei Munteanu | 2020/6/22 | |
A formal approach to physics-based attacks in cyber-physical systems | ACM Transactions on Privacy and Security (TOPS) | Ruggero Lanotte Massimo Merro Andrei Munteanu Luca Viganò | 2020/2/5 |
Impact analysis of cyber-physical attacks on a water tank system via statistical model checking | Andrei Munteanu Michele Pasqua Massimo Merro | 2020/10/7 |