| 2025 | ESORICS | A Comparative Study of ICS Honeypot Deployments. | Frederik Ondrikov, Denis Donadel, Francesco Lupia, Massimo Merro, Daniel dos Santos, Emmanuele Zambon, Nicola Zannone |
| 2023 | FORTE | Impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case Study. | Ruggero Lanotte, Massimo Merro, Nicola Zannone |
| 2023 | SAC | Towards A High-interaction Physics-aware Honeynet for Industrial Control Systems. | Marco Lucchese, Massimo Merro, Federica Paci, Nicola Zannone |
| 2022 | ESORICS | Towards Reverse Engineering of Industrial Physical Processes. | Mariano Ceccato, Youssef Driouich, Ruggero Lanotte, Marco Lucchese, Massimo Merro |
| 2020 | ICSE | Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking. | Andrei Munteanu, Michele Pasqua, Massimo Merro |
| 2018 | FORTE | A Modest Security Analysis of Cyber-Physical Systems: A Case Study. | Ruggero Lanotte, Massimo Merro, Andrei Munteanu |
| 2018 | IFM | Towards a Formal Notion of Impact Metric for Cyber-Physical Attacks. | Ruggero Lanotte, Massimo Merro, Simone Tini |
| 2018 | SOFSEM | AODVv2: Performance vs. Loop Freedom. | Mojgan Kamali, Massimo Merro, Alice Dal Corso |
| 2017 | FORTE | Weak Simulation Quasimetric in a Gossip Scenario. | Ruggero Lanotte, Massimo Merro, Simone Tini |
| 2017 | LATA | A Calculus of Cyber-Physical Systems. | Ruggero Lanotte, Massimo Merro |
| 2017 | MFCS | Compositional Weak Metrics for Group Key Update. | Ruggero Lanotte, Massimo Merro, Simone Tini |
| 2016 | Coordination | A Semantic Theory of the Internet of Things - (Extended Abstract). | Ruggero Lanotte, Massimo Merro |
| 2013 | Coordination | Modelling MAC-Layer Communications in Wireless Systems. | Andrea Cerone, Matthew Hennessy, Massimo Merro |
| 2011 | CONCUR | Semantic Analysis of Gossip Protocols for Wireless Sensor Networks. | Ruggero Lanotte, Massimo Merro |
| 2010 | SEFM | Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA. | Davide Benetti, Massimo Merro, Luca Vigan |
| 2003 | CONCUR | Modeling Consensus in a Process Calculus. | Uwe Nestmann, Rachele Fuzzati, Massimo Merro |
| 2003 | FOSSACS | Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems. | Matthew Hennessy, Massimo Merro, Julian Rathke |
| 2003 | ICALP | Bisimulation Proof Methods for Mobile Ambients. | Massimo Merro, Francesco Zappa Nardelli |
| 2002 | CONCUR | Typing and Subtyping Mobility in Boxed Ambients. | Massimo Merro, Vladimiro Sassone |
| 2002 | POPL | Bisimulation congruences in safe ambients. | Massimo Merro, Matthew Hennessy |
| 2000 | FOSSACS | Locality and Polyadicity in Asynchronous Name-Passing Calculi. | Massimo Merro |
| 1999 | EuroPar | Aliasing Models for Object Migration. | Uwe Nestmann, Hans Httel, Josva Kleist, Massimo Merro |
| 1998 | ICALP | On Asynchrony in Name-Passing Calculi. | Massimo Merro, Davide Sangiorgi |