MERRO, Massimo

MERRO, Massimo  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 71 (tempo di esecuzione: 0.037 secondi).
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