MERRO, Massimo
MERRO, Massimo
DIPARTIMENTO DI INFORMATICA
A Bisimulation-based semantic theory of safe ambients
2006-01-01 Merro, Massimo; Hennessy, Matthew
A calculus of trustworthy ad hoc networks
2013-01-01 Merro, Massimo; Sibilio, Eleonora
A Formal Approach to Physics-based Attacks in Cyber-physical Systems
2020-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei; Viganò, Luca
A probabilistic calculus of cyber-physical systems
2021-01-01 Lanotte, Ruggero; Merro, Massimo; Tini, Simone
A process calculus approach to detection and mitigation of PLC malware
2021-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei
A semantic analysis of key management protocols for wireless sensor networks
2014-01-01 D., Macedonio; Merro, Massimo
A Semantic Theory of the Internet of Things
2018-01-01 Lanotte, R.; Merro, M.
A Timed calculus of wireless systems
2011-01-01 Merro, Massimo; F., Ballardin; Sibilio, Eleonora
Aliasing models for mobile objects
2002-01-01 Nestmann, Uwe; Huttel, Hans; Kleist, Josva; Merro, Massimo
An observational theory for mobile ad hoc networks (full version)
2009-01-01 Merro, Massimo
Behavioural theory for Mobile Ambients
2005-01-01 Merro, Massimo; Zappa Nardelli, Francesco
Communication and mobility control in Boxed Ambients
2005-01-01 Bugliesi, Michele; Crafa, Silvia; Merro, Massimo; Sassone, Vladimiro
Distributed consensus, revisited
2007-01-01 Fuzzati, Rachele; Merro, Massimo; Nestmann, Uwe
Equational Reasonings in Wireless Network Gossip Protocols
2018-01-01 Lanotte, R.; Merro, M.; Tini, S.
Friendly Fire: Cross-App Interactions in IoT Platforms
2021-01-01 Balliu, Musard; Merro, Massimo; Pasqua, Michele; Shcherbakov, Mikhail
Industrial Control Systems Security via Runtime Enforcement
2023-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei
Measuring robustness in cyber-physical systems under sensor attacks
2025-01-01 Xiang, Jiang; Lanotte, Ruggero; Tini, Simone; Chong, Stephen; Merro, Massimo
Mobile objects as mobile processes
2002-01-01 Merro, Massimo; Kleist, Josva; Nestmann, Uwe
Modelling MAC-Layer Communications in Wireless Systems
2015-01-01 Cerone, Andrea; Hennessy, Matthew; Merro, Massimo
Obfuscation strategies for industrial control systems
2024-01-01 Cozza, V.; Dalla Preda, M.; Lanotte, R.; Lucchese, M.; Merro, M.; Zannone, L.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Bisimulation-based semantic theory of safe ambients | 1-gen-2006 | Merro, Massimo; Hennessy, Matthew | |
| A calculus of trustworthy ad hoc networks | 1-gen-2013 | Merro, Massimo; Sibilio, Eleonora | |
| A Formal Approach to Physics-based Attacks in Cyber-physical Systems | 1-gen-2020 | Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei; Viganò, Luca | |
| A probabilistic calculus of cyber-physical systems | 1-gen-2021 | Lanotte, Ruggero; Merro, Massimo; Tini, Simone | |
| A process calculus approach to detection and mitigation of PLC malware | 1-gen-2021 | Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei | |
| A semantic analysis of key management protocols for wireless sensor networks | 1-gen-2014 | D., Macedonio; Merro, Massimo | |
| A Semantic Theory of the Internet of Things | 1-gen-2018 | Lanotte, R.; Merro, M. | |
| A Timed calculus of wireless systems | 1-gen-2011 | Merro, Massimo; F., Ballardin; Sibilio, Eleonora | |
| Aliasing models for mobile objects | 1-gen-2002 | Nestmann, Uwe; Huttel, Hans; Kleist, Josva; Merro, Massimo | |
| An observational theory for mobile ad hoc networks (full version) | 1-gen-2009 | Merro, Massimo | |
| Behavioural theory for Mobile Ambients | 1-gen-2005 | Merro, Massimo; Zappa Nardelli, Francesco | |
| Communication and mobility control in Boxed Ambients | 1-gen-2005 | Bugliesi, Michele; Crafa, Silvia; Merro, Massimo; Sassone, Vladimiro | |
| Distributed consensus, revisited | 1-gen-2007 | Fuzzati, Rachele; Merro, Massimo; Nestmann, Uwe | |
| Equational Reasonings in Wireless Network Gossip Protocols | 1-gen-2018 | Lanotte, R.; Merro, M.; Tini, S. | |
| Friendly Fire: Cross-App Interactions in IoT Platforms | 1-gen-2021 | Balliu, Musard; Merro, Massimo; Pasqua, Michele; Shcherbakov, Mikhail | |
| Industrial Control Systems Security via Runtime Enforcement | 1-gen-2023 | Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei | |
| Measuring robustness in cyber-physical systems under sensor attacks | 1-gen-2025 | Xiang, Jiang; Lanotte, Ruggero; Tini, Simone; Chong, Stephen; Merro, Massimo | |
| Mobile objects as mobile processes | 1-gen-2002 | Merro, Massimo; Kleist, Josva; Nestmann, Uwe | |
| Modelling MAC-Layer Communications in Wireless Systems | 1-gen-2015 | Cerone, Andrea; Hennessy, Matthew; Merro, Massimo | |
| Obfuscation strategies for industrial control systems | 1-gen-2024 | Cozza, V.; Dalla Preda, M.; Lanotte, R.; Lucchese, M.; Merro, M.; Zannone, L. |