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 Comparative Study of ICS Honeypot Deployments
2025-01-01 Ondrikov, Frederik; Donadel, Denis; Lupia, Francesco; Merro, Massimo; Dos Santos, Daniel; Zambon, Emmanuele; Zannone, Nicola
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
Formal Robustness for Cyber-Physical Systems under Timed Attacks
2025-01-01 Xiang, Jian; Tini, Simone; Lanotte, Ruggero; Merro, Massimo
| 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 Comparative Study of ICS Honeypot Deployments | 1-gen-2025 | Ondrikov, Frederik; Donadel, Denis; Lupia, Francesco; Merro, Massimo; Dos Santos, Daniel; Zambon, Emmanuele; Zannone, Nicola | |
| 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 | |
| Formal Robustness for Cyber-Physical Systems under Timed Attacks | 1-gen-2025 | Xiang, Jian; Tini, Simone; Lanotte, Ruggero; Merro, Massimo |