Massimo Merro

89 papers A* 3A 5B 14C 6Misc 1Journal 35Unranked 24
YearRankTypeTitle / Venue / Authors
2026 — conf
Towards a Secure Network Architecture for Social Robots.
ITASEC/SERICS
Denis Donadel, Matteo Soldà, Mauro Conti, Massimo Merro
2025 — conf
A Comparative Study of ICS Honeypot Deployments.
ESORICS Workshops (3)
Frederik Ondrikov, Denis Donadel, Francesco Lupia, Massimo Merro, Daniel dos Santos, Emmanuele Zambon, Nicola Zannone
2025 A conf
Formal Robustness for Cyber-Physical Systems Under Timed Attacks.
CSF
Jian Xiang, Simone Tini, Ruggero Lanotte, Massimo Merro
2025 — conf
SimProcess: High Fidelity Simulation of Noisy ICS Physical Processes.
CPSS@AsiaCCS
Denis Donadel, Gabriele Crestanello, Giulio Morandini, Daniele Antonioli, Mauro Conti, Massimo Merro
2025 J jnl
SimProcess: High Fidelity Simulation of Noisy ICS Physical Processes.
CoRR
Denis Donadel, Gabriele Crestanello, Giulio Morandini, Daniele Antonioli, Mauro Conti, Massimo Merro
2024 J jnl
Measuring Robustness in Cyber-Physical Systems under Sensor Attacks.
CoRR
Jian Xiang, Ruggero Lanotte, Simone Tini, Stephen Chong, Massimo Merro
2024 J jnl
Obfuscation strategies for industrial control systems.
Int. J. Crit. Infrastructure Prot.
Vittoria Cozza, Mila Dalla Preda, Ruggero Lanotte, Marco Lucchese, Massimo Merro, Nicola Zannone
2023 B conf
HoneyICS: A High-interaction Physics-aware Honeynet for Industrial Control Systems.
ARES
Marco Lucchese, Francesco Lupia, Massimo Merro, Federica Paci, Nicola Zannone, Angelo Furfaro
2023 B conf
ICS Honeypot Interactions: A Latitudinal Study.
IEEE Big Data
Francesco Lupia, Marco Lucchese, Massimo Merro, Nicola Zannone
2023 C conf
Impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case Study.
FORTE
Ruggero Lanotte, Massimo Merro, Nicola Zannone
2023 J jnl
Industrial Control Systems Security via Runtime Enforcement.
ACM Trans. Priv. Secur.
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
2023 — conf
Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems.
HSCC
Stephen Chong, Ruggero Lanotte, Massimo Merro, Simone Tini, Jian Xiang
2023 Misc conf
Towards A High-interaction Physics-aware Honeynet for Industrial Control Systems.
SAC
Marco Lucchese, Massimo Merro, Federica Paci, Nicola Zannone
2023 B conf
Towards Obfuscation of Programmable Logic Controllers.
ARES
Vittoria Cozza, Mila Dalla Preda, Marco Lucchese, Massimo Merro, Nicola Zannone
2022 — conf
Towards Reverse Engineering of Industrial Physical Processes.
CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS
Mariano Ceccato, Youssef Driouich, Ruggero Lanotte, Marco Lucchese, Massimo Merro
2021 J jnl
A probabilistic calculus of cyber-physical systems.
Inf. Comput.
Ruggero Lanotte, Massimo Merro, Simone Tini
2021 J jnl
A process calculus approach to detection and mitigation of PLC malware.
Theor. Comput. Sci.
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
2021 A conf
Formal Impact Metrics for Cyber-physical Attacks.
CSF
Ruggero Lanotte, Massimo Merro, Andrei Munteanu, Simone Tini
2021 J jnl
Friendly Fire: Cross-app Interactions in IoT Platforms.
ACM Trans. Priv. Secur.
Musard Balliu, Massimo Merro, Michele Pasqua, Mikhail Shcherbakov
2021 J jnl
Runtime Enforcement of Programmable Logic Controllers.
CoRR
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
2020 J jnl
A Formal Approach to Physics-based Attacks in Cyber-physical Systems.
ACM Trans. Priv. Secur.
Ruggero Lanotte, Massimo Merro, Andrei Munteanu, Luca Viganò
2020 — conf
A Process Calculus Approach to Correctness Enforcement of PLCs.
ICTCS
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
2020 J jnl
A process calculus approach to correctness enforcement of PLCs (full version).
CoRR
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
2020 — conf
Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking.
FormaliSE@ICSE
Andrei Munteanu, Michele Pasqua, Massimo Merro
2020 A conf
Runtime Enforcement for Control System Security.
CSF
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
2019 J jnl
A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version).
CoRR
Ruggero Lanotte, Massimo Merro, Andrei Munteanu, Luca Viganò
2019 — conf
On the decidability of linear bounded periodic cyber-physical systems.
HSCC
Ruggero Lanotte, Massimo Merro, Fabio Mogavero
2019 A conf
Securing Cross-App Interactions in IoT Platforms.
CSF
Musard Balliu, Massimo Merro, Michele Pasqua
2018 C conf
A Modest Security Analysis of Cyber-Physical Systems: A Case Study.
FORTE
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
2018 J jnl
A semantic theory of the Internet of Things.
Inf. Comput.
Ruggero Lanotte, Massimo Merro
2018 B conf
AODVv2: Performance vs. Loop Freedom.
SOFSEM
Mojgan Kamali, Massimo Merro, Alice Dal Corso
2018 J jnl
Equational Reasonings in Wireless Network Gossip Protocols.
Log. Methods Comput. Sci.
Ruggero Lanotte, Massimo Merro, Simone Tini
2018 — conf
On cyber-physical attacks in bilateral teleoperation systems: An experimental analysis.
ICPS
Andrei Munteanu, Riccardo Muradore, Massimo Merro, Paolo Fiorini
2018 B conf
Towards a Formal Notion of Impact Metric for Cyber-Physical Attacks.
IFM
Ruggero Lanotte, Massimo Merro, Simone Tini
2018 J jnl
Towards a formal notion of impact metric for cyber-physical attacks (full version).
CoRR
Ruggero Lanotte, Massimo Merro, Simone Tini
2017 C conf
A Calculus of Cyber-Physical Systems.
LATA
Ruggero Lanotte, Massimo Merro
2017 A conf
A Formal Approach to Cyber-Physical Attacks.
CSF
Ruggero Lanotte, Massimo Merro, Riccardo Muradore, Luca Viganò
2017 J jnl
A Probabilistic Calculus of Cyber-Physical Systems.
CoRR
Ruggero Lanotte, Massimo Merro, Simone Tini
2017 B conf
Compositional Weak Metrics for Group Key Update.
MFCS
Ruggero Lanotte, Massimo Merro, Simone Tini
2017 J jnl
Equational Reasonings in Wireless Network Gossip Protocols.
CoRR
Ruggero Lanotte, Massimo Merro, Simone Tini
2017 C conf
Weak Simulation Quasimetric in a Gossip Scenario.
FORTE
Ruggero Lanotte, Massimo Merro, Simone Tini
2016 J jnl
A Calculus of Cyber-Physical Systems.
CoRR
Ruggero Lanotte, Massimo Merro
2016 J jnl
A Formal Approach to Cyber-Physical Attacks.
CoRR
Ruggero Lanotte, Massimo Merro, Riccardo Muradore, Luca Viganò
2016 C conf
A Semantic Theory of the Internet of Things - (Extended Abstract).
COORDINATION
Ruggero Lanotte, Massimo Merro
2016 — conf
Semantics for Locking Specifications.
NFM
Michael D. Ernst, Damiano Macedonio, Massimo Merro, Fausto Spoto
2015 J jnl
A Semantic Theory for the Internet of Things.
CoRR
Valentina Castiglioni, Ruggero Lanotte, Massimo Merro
2015 J jnl
Modelling MAC-Layer Communications in Wireless Systems.
Log. Methods Comput. Sci.
Andrea Cerone, Matthew Hennessy, Massimo Merro
2015 J jnl
Semantics for Locking Specifications.
CoRR
Michael D. Ernst, Damiano Macedonio, Massimo Merro, Fausto Spoto
2015 — conf
Statistical Model Checking of Ad Hoc Routing Protocols in Lossy Grid Networks.
NFM
Alice Dal Corso, Damiano Macedonio, Massimo Merro
2014 J jnl
A semantic analysis of key management protocols for wireless sensor networks.
Sci. Comput. Program.
Damiano Macedonio, Massimo Merro
2013 J jnl
A calculus of trustworthy ad hoc networks.
Formal Aspects Comput.
Massimo Merro, Eleonora Sibilio
2013 C conf
Modelling MAC-Layer Communications in Wireless Systems.
COORDINATION
Andrea Cerone, Matthew Hennessy, Massimo Merro
2013 — conf
Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks.
FSEN
Luca Battisti, Damiano Macedonio, Massimo Merro
2012 — conf
A Semantic Analysis of Wireless Network Security Protocols.
NASA Formal Methods
Damiano Macedonio, Massimo Merro
2011 J jnl
A Semantic Analysis of Key Management Protocols for Wireless Sensor Networks
CoRR
Francesco Ballardin, Damiano Macedonio, Massimo Merro, Mattia Tirapelle
2011 J jnl
A timed calculus for wireless systems.
Theor. Comput. Sci.
Massimo Merro, Francesco Ballardin, Eleonora Sibilio
2011 B conf
Semantic Analysis of Gossip Protocols for Wireless Sensor Networks.
CONCUR
Ruggero Lanotte, Massimo Merro
2010 — conf
A Calculus for the Analysis of Wireless Network Security Protocols.
Formal Aspects in Security and Trust
Francesco Ballardin, Massimo Merro
2010 B conf
Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA.
SEFM
Davide Benetti, Massimo Merro, Luca Viganò
2010 J jnl
On the observational theory of the CPS-calculus.
Acta Informatica
Massimo Merro
2009 — conf
A Calculus of Trustworthy Ad Hoc Networks.
Formal Aspects in Security and Trust
Massimo Merro, Eleonora Sibilio
2009 — conf
A Timed Calculus for Wireless Systems.
FSEN
Massimo Merro, Eleonora Sibilio
2009 J jnl
An Observational Theory for Mobile Ad Hoc Networks (full version).
Inf. Comput.
Massimo Merro
2009 — ed.
Proceedings of the First Workshop on Formal Methods for Wireless Systems, FMWS@CONCUR 2008, Toronto, ON, Canada, August 23, 2008
FMWS@CONCUR
Jens Chr. Godskesen, Massimo Merro
2008 — conf
Preface.
FMWS@CONCUR
Jens Chr. Godskesen, Massimo Merro
2007 B conf
An Observational Theory for Mobile Ad Hoc Networks.
MFPS
Massimo Merro
2007 J jnl
Distributed Consensus, revisited.
Acta Informatica
Rachele Fuzzati, Massimo Merro, Uwe Nestmann
2006 J jnl
A bisimulation-based semantic theory of Safe Ambients.
ACM Trans. Program. Lang. Syst.
Massimo Merro, Matthew Hennessy
2006 B conf
On the Observational Theory of the CPS-calculus: (Extended Abstract).
MFPS
Massimo Merro, Corrado Biasi
2005 J jnl
Behavioral theory for mobile ambients.
J. ACM
Massimo Merro, Francesco Zappa Nardelli
2005 J jnl
Communication and mobility control in boxed ambients.
Inf. Comput.
Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone
2004 — conf
Behavioural Theory for Mobile Ambients.
IFIP TCS
Massimo Merro, Francesco Zappa Nardelli
2004 J jnl
On asynchrony in name-passing calculi.
Math. Struct. Comput. Sci.
Massimo Merro, Davide Sangiorgi
2004 J jnl
Towards a behavioural theory of access and mobility control in distributed systems.
Theor. Comput. Sci.
Matthew Hennessy, Massimo Merro, Julian Rathke
2003 A* conf
Bisimulation Proof Methods for Mobile Ambients.
ICALP
Massimo Merro, Francesco Zappa Nardelli
2003 B conf
Modeling Consensus in a Process Calculus.
CONCUR
Uwe Nestmann, Rachele Fuzzati, Massimo Merro
2003 B conf
Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems.
FoSSaCS
Matthew Hennessy, Massimo Merro, Julian Rathke
2002 J jnl
Aliasing Models for Mobile Objects.
Inf. Comput.
Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro
2002 A* conf
Bisimulation congruences in safe ambients.
POPL
Massimo Merro, Matthew Hennessy
2002 — conf
Communication Interference in Mobile Boxed Ambients.
FSTTCS
Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone
2002 J jnl
Mobile Objects as Mobile Processes.
Inf. Comput.
Massimo Merro, Josva Kleist, Uwe Nestmann
2002 B conf
Typing and Subtyping Mobility in Boxed Ambients.
CONCUR
Massimo Merro, Vladimiro Sassone
2000 — conf
Local pi-Calculus at Work: Mobile Objects as Mobile Processes.
IFIP TCS
Massimo Merro, Josva Kleist, Uwe Nestmann
2000 B conf
Locality and Polyadicity in Asynchronous Name-Passing Calculi.
FoSSaCS
Massimo Merro
1999 — conf
Aliasing Models for Object Migration.
Euro-Par
Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro
1999 — conf
On Equators in Asynchronous Name-passing Calculi without Matching.
EXPRESS
Massimo Merro
1998 A* conf
On Asynchrony in Name-Passing Calculi.
ICALP
Massimo Merro, Davide Sangiorgi
1998 — conf
On the Expressiveness of Chi, Update, and Fusion calculi.
EXPRESS
Massimo Merro
1996 — conf
Prorities in Statecharts.
LOMAPS
Andrea Maggiolo-Schettini, Massimo Merro