Massimo Merro

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 43

Top Topics

Impact Analysis

Programmable Logic

Reverse Engineer

Top Venues

ACM Trans. Priv. Secur.

Publications

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