Artículos con órdenes de acceso público - Massimo MerroMás información
Disponibles en algún lugar: 18
A formal approach to physics-based attacks in cyber-physical systems
R Lanotte, M Merro, A Munteanu, L Viganò
ACM Transactions on Privacy and Security (TOPS) 23 (1), 1-41, 2020
Órdenes: Government of Italy
A semantic analysis of key management protocols for wireless sensor networks
D Macedonio, M Merro
Science of Computer Programming 81, 53-78, 2014
Órdenes: Government of Italy
A probabilistic calculus of cyber-physical systems
R Lanotte, M Merro, S Tini
Information and Computation 279, 104618, 2021
Órdenes: Government of Italy
Securing cross-app interactions in IoT platforms
M Balliu, M Merro, M Pasqua
2019 IEEE 32nd computer security foundations symposium (CSF), 319-31915, 2019
Órdenes: Swedish Research Council, Government of Italy
Modelling mac-layer communications in wireless systems
A Cerone, M Hennessy, M Merro
International Conference on Coordination Languages and Models, 16-30, 2013
Órdenes: Science Foundation Ireland
Towards a formal notion of impact metric for cyber-physical attacks
R Lanotte, M Merro, S Tini
Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth …, 2018
Órdenes: Government of Italy
Friendly fire: cross-app interactions in IoT platforms
M Balliu, M Merro, M Pasqua, M Shcherbakov
ACM Transactions on Privacy and Security (TOPS) 24 (3), 1-40, 2021
Órdenes: Swedish Research Council, Government of Italy
Runtime enforcement for control system security
R Lanotte, M Merro, A Munteanu
2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 246-261, 2020
Órdenes: Government of Italy
Industrial control systems security via runtime enforcement
R Lanotte, M Merro, A Munteanu
ACM Transactions on Privacy and Security 26 (1), 1-41, 2022
Órdenes: Government of Italy
Formal impact metrics for cyber-physical attacks
R Lanotte, M Merro, A Munteanu, S Tini
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-16, 2021
Órdenes: Government of Italy
On cyber-physical attacks in bilateral teleoperation systems: An experimental analysis
A Munteanu, R Muradore, M Merro, P Fiorini
2018 IEEE Industrial Cyber-Physical Systems (ICPS), 159-166, 2018
Órdenes: Government of Italy
A modest security analysis of cyber-physical systems: A case study
R Lanotte, M Merro, A Munteanu
Formal Techniques for Distributed Objects, Components, and Systems: 38th …, 2018
Órdenes: Government of Italy
Towards reverse engineering of industrial physical processes
M Ceccato, Y Driouich, R Lanotte, M Lucchese, M Merro
European Symposium on Research in Computer Security, 273-290, 2022
Órdenes: Government of Italy
Quantitative robustness analysis of sensor attacks on cyber-physical systems
S Chong, R Lanotte, M Merro, S Tini, J Xiang
Proceedings of the 26th ACM International Conference on Hybrid Systems …, 2023
Órdenes: Government of Italy
Towards a High-interaction Physics-aware Honeynet for Industrial Control Systems
M Lucchese, M Merro, F Paci, N Zannone
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 76-79, 2023
Órdenes: Government of Italy
Impact analysis of cyber-physical attacks on a water tank system via statistical model checking
A Munteanu, M Pasqua, M Merro
Proceedings of the 8th International Conference on Formal Methods in …, 2020
Órdenes: Government of Italy
On the decidability of linear bounded periodic cyber-physical systems
R Lanotte, M Merro, F Mogavero
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
Órdenes: Government of Italy
Obfuscation strategies for industrial control systems
V Cozza, M Dalla Preda, R Lanotte, M Lucchese, M Merro, N Zannone
International Journal of Critical Infrastructure Protection 47, 100717, 2024
Órdenes: Netherlands Organisation for Scientific Research
La información de publicación y financiación se determina de forma automática mediante un programa informático