MERRO, Massimo
MERRO, Massimo
DIPARTIMENTO DI INFORMATICA
A Calculus for the analysis of wireless network security protocols
2010-01-01 F., Ballardin; Merro, Massimo
A Calculus of Cyber-Physical Systems
2017-01-01 Lanotte, Ruggero; Merro, Massimo
A calculus of trustworthy ad hoc networks
2010-01-01 Merro, Massimo; Sibilio, Eleonora
A Formal Approach to Cyber-Physical Attacks
2017-01-01 Lanotte, Ruggero; Merro, Massimo; Muradore, Riccardo; Viganò, Luca
A Modest Security Analysis of Cyber-Physical Systems: A Case Study
2018-01-01 Lanotte, R.; Merro, M.; Munteanu, A.
A process calculus approach to correctness enforcement of PLCs
2020-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei
A Semantic Analysis of Wireless Network Security Protocols
2012-01-01 Macedonio, Damiano; Merro, Massimo
A Semantic Theory of the Internet of Things (extended abstract)
2016-01-01 Ruggero, Lanotte; Merro, Massimo
A timed calculus for wireless systems
2010-01-01 Merro, Massimo; Sibilio, Eleonora
Aliasing models for object migration
1999-01-01 Huttel, Hans; Kleist, Josva; Merro, Massimo; Nestmann, Uwe
An observational theory for mobile ad-hoc networks
2007-01-01 Merro, Massimo
AODVv2: performance vs. loop freedom
2018-01-01 Kamali, M.; Merro, M.; Dal Corso, A.
Behavioural theory for mobile ambients
2004-01-01 Merro, Massimo; Zappa Nardelli, Francesco
Bisimulation congruences in safe ambients
2002-01-01 Merro, Massimo; Hennessy, Matthew
Bisimulation proof methods for mobile ambients
2003-01-01 Merro, Massimo; Zappa Nardelli, Francesco
Communication interference in mobile boxed ambients
2002-01-01 Bugliesi, Michele; Crafa, Silvia; Merro, Massimo; Sassone, Vladimiro
Compositional weak metrics for group key update
2017-01-01 Lanotte, Ruggero; Merro, Massimo; Tini, Simone
Formal Impact Metrics for Cyber-physical Attacks
2021-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei; Tini, Simone
Friendly Fire: Cross-App Interactions in IoT Platforms
2020-01-01 Balliu, Musard; Merro, Massimo; Pasqua, Michele
HoneyICS: A High-interaction Physics-aware Honeynet forIndustrial Control Systems
2023-01-01 Lucchese, Marco; Lupia, Francesco; Merro, Massimo; Paci, Federica; Zannone, Nicola; Furfaro, Angelo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Calculus for the analysis of wireless network security protocols | 1-gen-2010 | F., Ballardin; Merro, Massimo | |
| A Calculus of Cyber-Physical Systems | 1-gen-2017 | Lanotte, Ruggero; Merro, Massimo | |
| A calculus of trustworthy ad hoc networks | 1-gen-2010 | Merro, Massimo; Sibilio, Eleonora | |
| A Formal Approach to Cyber-Physical Attacks | 1-gen-2017 | Lanotte, Ruggero; Merro, Massimo; Muradore, Riccardo; Viganò, Luca | |
| A Modest Security Analysis of Cyber-Physical Systems: A Case Study | 1-gen-2018 | Lanotte, R.; Merro, M.; Munteanu, A. | |
| A process calculus approach to correctness enforcement of PLCs | 1-gen-2020 | Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei | |
| A Semantic Analysis of Wireless Network Security Protocols | 1-gen-2012 | Macedonio, Damiano; Merro, Massimo | |
| A Semantic Theory of the Internet of Things (extended abstract) | 1-gen-2016 | Ruggero, Lanotte; Merro, Massimo | |
| A timed calculus for wireless systems | 1-gen-2010 | Merro, Massimo; Sibilio, Eleonora | |
| Aliasing models for object migration | 1-gen-1999 | Huttel, Hans; Kleist, Josva; Merro, Massimo; Nestmann, Uwe | |
| An observational theory for mobile ad-hoc networks | 1-gen-2007 | Merro, Massimo | |
| AODVv2: performance vs. loop freedom | 1-gen-2018 | Kamali, M.; Merro, M.; Dal Corso, A. | |
| Behavioural theory for mobile ambients | 1-gen-2004 | Merro, Massimo; Zappa Nardelli, Francesco | |
| Bisimulation congruences in safe ambients | 1-gen-2002 | Merro, Massimo; Hennessy, Matthew | |
| Bisimulation proof methods for mobile ambients | 1-gen-2003 | Merro, Massimo; Zappa Nardelli, Francesco | |
| Communication interference in mobile boxed ambients | 1-gen-2002 | Bugliesi, Michele; Crafa, Silvia; Merro, Massimo; Sassone, Vladimiro | |
| Compositional weak metrics for group key update | 1-gen-2017 | Lanotte, Ruggero; Merro, Massimo; Tini, Simone | |
| Formal Impact Metrics for Cyber-physical Attacks | 1-gen-2021 | Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei; Tini, Simone | |
| Friendly Fire: Cross-App Interactions in IoT Platforms | 1-gen-2020 | Balliu, Musard; Merro, Massimo; Pasqua, Michele | |
| HoneyICS: A High-interaction Physics-aware Honeynet forIndustrial Control Systems | 1-gen-2023 | Lucchese, Marco; Lupia, Francesco; Merro, Massimo; Paci, Federica; Zannone, Nicola; Furfaro, Angelo |