MERRO, Massimo
MERRO, Massimo
DIPARTIMENTO DI INFORMATICA
A Bisimulation-based semantic theory of safe ambients
2006-01-01 Merro, Massimo; Hennessy, Matthew
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 calculus of trustworthy ad hoc networks
2013-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 Formal Approach to Physics-based Attacks in Cyber-physical Systems
2020-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei; Viganò, Luca
A Modest Security Analysis of Cyber-Physical Systems: A Case Study
2018-01-01 Lanotte, R.; Merro, M.; Munteanu, A.
A probabilistic calculus of cyber-physical systems
2021-01-01 Lanotte, Ruggero; Merro, Massimo; Tini, Simone
A process calculus approach to correctness enforcement of PLCs
2020-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei
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 Analysis of Wireless Network Security Protocols
2012-01-01 Macedonio, Damiano; Merro, Massimo
A Semantic Theory of the Internet of Things
2018-01-01 Lanotte, R.; Merro, M.
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
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
Aliasing models for object migration
1999-01-01 Huttel, Hans; Kleist, Josva; Merro, Massimo; Nestmann, Uwe
An observational theory for mobile ad hoc networks (full version)
2009-01-01 Merro, Massimo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Bisimulation-based semantic theory of safe ambients | 1-gen-2006 | Merro, Massimo; Hennessy, Matthew | |
| 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 calculus of trustworthy ad hoc networks | 1-gen-2013 | Merro, Massimo; Sibilio, Eleonora | |
| A Formal Approach to Cyber-Physical Attacks | 1-gen-2017 | Lanotte, Ruggero; Merro, Massimo; Muradore, Riccardo; Viganò, Luca | |
| A Formal Approach to Physics-based Attacks in Cyber-physical Systems | 1-gen-2020 | Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei; Viganò, Luca | |
| A Modest Security Analysis of Cyber-Physical Systems: A Case Study | 1-gen-2018 | Lanotte, R.; Merro, M.; Munteanu, A. | |
| A probabilistic calculus of cyber-physical systems | 1-gen-2021 | Lanotte, Ruggero; Merro, Massimo; Tini, Simone | |
| A process calculus approach to correctness enforcement of PLCs | 1-gen-2020 | Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei | |
| 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 Analysis of Wireless Network Security Protocols | 1-gen-2012 | Macedonio, Damiano; Merro, Massimo | |
| A Semantic Theory of the Internet of Things | 1-gen-2018 | Lanotte, R.; Merro, M. | |
| 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 | |
| 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 | |
| Aliasing models for object migration | 1-gen-1999 | Huttel, Hans; Kleist, Josva; Merro, Massimo; Nestmann, Uwe | |
| An observational theory for mobile ad hoc networks (full version) | 1-gen-2009 | Merro, Massimo |