Prorities in Statecharts. - Andrea Maggiolo-Schettini; Massimo Merro (LOMAPS, 1996)

On the Expressiveness of Chi, Update, and Fusion calculi. - Massimo Merro (EXPRESS, 1998)

Aliasing Models for Object Migration. - Uwe Nestmann; Hans Hüttel; Josva Kleist; Massimo Merro (Euro-Par, 1999)

On Equators in Asynchronous Name-passing Calculi without Matching. - Massimo Merro (EXPRESS, 1999)

Locality and Polyadicity in Asynchronous Name-Passing Calculi. - Massimo Merro (FoSSaCS, 2000)

Local pi-Calculus at Work: Mobile Objects as Mobile Processes. - Massimo Merro; Josva Kleist; Uwe Nestmann (IFIP TCS, 2000)

Typing and Subtyping Mobility in Boxed Ambients. - Massimo Merro; Vladimiro Sassone (CONCUR, 2002)

Communication Interference in Mobile Boxed Ambients. - Michele Bugliesi; Silvia Crafa; Massimo Merro; Vladimiro Sassone (FSTTCS, 2002)

Bisimulation congruences in safe ambients. - Massimo Merro; Matthew Hennessy (POPL, 2002)

Mobile Objects as Mobile Processes. - Massimo Merro; Josva Kleist; Uwe Nestmann (Inf. Comput., 2002)

Aliasing Models for Mobile Objects. - Uwe Nestmann; Hans Hüttel; Josva Kleist; Massimo Merro (Inf. Comput., 2002)

Modeling Consensus in a Process Calculus. - Uwe Nestmann; Rachele Fuzzati; Massimo Merro (CONCUR, 2003)

Bisimulation Proof Methods for Mobile Ambients. - Massimo Merro; Francesco Zappa Nardelli (ICALP, 2003)

Behavioural Theory for Mobile Ambients. - Massimo Merro; Francesco Zappa Nardelli (IFIP TCS, 2004)

On asynchrony in name-passing calculi. - Massimo Merro; Davide Sangiorgi (Math. Struct. Comput. Sci., 2004)

Towards a behavioural theory of access and mobility control in distributed systems. - Matthew Hennessy; Massimo Merro; Julian Rathke (Theor. Comput. Sci., 2004)

Communication and mobility control in boxed ambients. - Michele Bugliesi; Silvia Crafa; Massimo Merro; Vladimiro Sassone (Inf. Comput., 2005)

Behavioral theory for mobile ambients. - Massimo Merro; Francesco Zappa Nardelli (J. ACM, 2005)

On the Observational Theory of the CPS-calculus: (Extended Abstract). - Massimo Merro; Corrado Biasi (MFPS, 2006)

A bisimulation-based semantic theory of Safe Ambients. - Massimo Merro; Matthew Hennessy (ACM Trans. Program. Lang. Syst., 2006)

Distributed Consensus, revisited. - Rachele Fuzzati; Massimo Merro; Uwe Nestmann (Acta Informatica, 2007)

An Observational Theory for Mobile Ad Hoc Networks. - Massimo Merro (MFPS, 2007)

Preface. - Jens Chr. Godskesen; Massimo Merro (FMWS@CONCUR, 2008)

A Timed Calculus for Wireless Systems. - Massimo Merro; Eleonora Sibilio (FSEN, 2009)

An Observational Theory for Mobile Ad Hoc Networks (full version). - Massimo Merro (Inf. Comput., 2009)

A Calculus for the Analysis of Wireless Network Security Protocols. - Francesco Ballardin; Massimo Merro (Formal Aspects in Security and Trust, 2010)

Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA. - Davide Benetti; Massimo Merro; Luca Viganò 001 (SEFM, 2010)

On the observational theory of the CPS-calculus. - Massimo Merro (Acta Informatica, 2010)

Semantic Analysis of Gossip Protocols for Wireless Sensor Networks. - Ruggero Lanotte; Massimo Merro (CONCUR, 2011)

A Semantic Analysis of Key Management Protocols for Wireless Sensor Networks - Francesco Ballardin; Damiano Macedonio; Massimo Merro; Mattia Tirapelle (CoRR, 2011)

A timed calculus for wireless systems. - Massimo Merro; Francesco Ballardin; Eleonora Sibilio (Theor. Comput. Sci., 2011)

A Semantic Analysis of Wireless Network Security Protocols. - Damiano Macedonio; Massimo Merro (NASA Formal Methods, 2012)

Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks. - Luca Battisti; Damiano Macedonio; Massimo Merro (FSEN, 2013)

A calculus of trustworthy ad hoc networks. - Massimo Merro; Eleonora Sibilio (Formal Aspects Comput., 2013)

A semantic analysis of key management protocols for wireless sensor networks. - Damiano Macedonio; Massimo Merro (Sci. Comput. Program., 2014)

Statistical Model Checking of Ad Hoc Routing Protocols in Lossy Grid Networks. - Alice Dal Corso; Damiano Macedonio; Massimo Merro (NFM, 2015)

A Semantic Theory for the Internet of Things. - Valentina Castiglioni; Ruggero Lanotte; Massimo Merro (CoRR, 2015)

Modelling MAC-Layer Communications in Wireless Systems. - Andrea Cerone; Matthew Hennessy; Massimo Merro (Log. Methods Comput. Sci., 2015)

A Semantic Theory of the Internet of Things - (Extended Abstract). - Ruggero Lanotte; Massimo Merro (COORDINATION, 2016)

Semantics for Locking Specifications. - Michael D. Ernst; Damiano Macedonio; Massimo Merro; Fausto Spoto (NFM, 2016)

A Formal Approach to Cyber-Physical Attacks. - Ruggero Lanotte; Massimo Merro; Riccardo Muradore; Luca Viganò 001 (CSF, 2017)

Weak Simulation Quasimetric in a Gossip Scenario. - Ruggero Lanotte; Massimo Merro; Simone Tini (FORTE, 2017)

A Calculus of Cyber-Physical Systems. - Ruggero Lanotte; Massimo Merro (LATA, 2017)

Compositional Weak Metrics for Group Key Update. - Ruggero Lanotte; Massimo Merro; Simone Tini (MFCS, 2017)

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)

Towards a Formal Notion of Impact Metric for Cyber-Physical Attacks. - Ruggero Lanotte; Massimo Merro; Simone Tini (IFM, 2018)

AODVv2: Performance vs. Loop Freedom. - Mojgan Kamali; Massimo Merro; Alice Dal Corso (SOFSEM, 2018)

Towards a formal notion of impact metric for cyber-physical attacks (full version). - Ruggero Lanotte; Massimo Merro; Simone Tini (CoRR, 2018)

A semantic theory of the Internet of Things. - Ruggero Lanotte; Massimo Merro (Inf. Comput., 2018)

Equational Reasonings in Wireless Network Gossip Protocols. - Ruggero Lanotte; Massimo Merro; Simone Tini (Log. Methods Comput. Sci., 2018)

Securing Cross-App Interactions in IoT Platforms. - Musard Balliu; Massimo Merro; Michele Pasqua (CSF, 2019)

On the decidability of linear bounded periodic cyber-physical systems. - Ruggero Lanotte; Massimo Merro; Fabio Mogavero (HSCC, 2019)

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 probabilistic calculus of cyber-physical systems. - Ruggero Lanotte; Massimo Merro; Simone Tini (Inf. Comput., 2021)

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

Friendly Fire: Cross-app Interactions in IoT Platforms. - Musard Balliu; Massimo Merro; Michele Pasqua; Mikhail Shcherbakov (ACM Trans. Priv. Secur., 2021)

Towards Reverse Engineering of Industrial Physical Processes. - Mariano Ceccato; Youssef Driouich; Ruggero Lanotte; Marco Lucchese; Massimo Merro (CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS, 2022)

Towards Obfuscation of Programmable Logic Controllers. - Vittoria Cozza; Mila Dalla Preda; Marco Lucchese; Massimo Merro; Nicola Zannone (ARES, 2023)

HoneyICS: A High-interaction Physics-aware Honeynet for Industrial Control Systems. - Marco Lucchese; Francesco Lupia; Massimo Merro; Federica Paci; Nicola Zannone; Angelo Furfaro (ARES, 2023)

ICS Honeypot Interactions: A Latitudinal Study. - Francesco Lupia; Marco Lucchese; Massimo Merro; Nicola Zannone (IEEE Big Data, 2023)

Impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case Study. - Ruggero Lanotte; Massimo Merro; Nicola Zannone (FORTE, 2023)

Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems. - Stephen Chong; Ruggero Lanotte; Massimo Merro; Simone Tini; Jian Xiang (HSCC, 2023)

Towards A High-interaction Physics-aware Honeynet for Industrial Control Systems. - Marco Lucchese; Massimo Merro; Federica Paci; Nicola Zannone (SAC, 2023)

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

Measuring Robustness in Cyber-Physical Systems under Sensor Attacks. - Jian Xiang; Ruggero Lanotte; Simone Tini; Stephen Chong; Massimo Merro (CoRR, 2024)

Obfuscation strategies for industrial control systems. - Vittoria Cozza; Mila Dalla Preda; Ruggero Lanotte; Marco Lucchese; Massimo Merro; Nicola Zannone (Int. J. Crit. Infrastructure Prot., 2024)

Formal Robustness for Cyber-Physical Systems Under Timed Attacks. - Jian Xiang; Simone Tini; Ruggero Lanotte; Massimo Merro (CSF, 2025)

SimProcess: High Fidelity Simulation of Noisy ICS Physical Processes. - Denis Donadel; Gabriele Crestanello; Giulio Morandini; Daniele Antonioli; Mauro Conti; Massimo Merro (CoRR, 2025)