CHEMINOD, MANUEL
CHEMINOD, MANUEL
Istituto di Elettronica e di Ingegneria dell'Informazione e delle Telecomunicazioni - IEIIT
A methodological approach to securing cyber-physical systems for critical infrastructures
2024 Calabro', A.; Cambiaso, E.; Cheminod, M.; Cibrario Bertolotti, I.; Durante, L.; Forestiero, A.; Lombardi, F.; Manco, G.; Marchetti, E.; Orlando, A.; Papuzzo, G.
Time-Sensitive Networking to Improve the Performance of Distributed Functional Safety Systems Implemented over Wi-Fi
2023 Morato, A.; Vitturi, S.; Tramarin, F.; Zunino, C.; Cheminod, M.
A comprehensive approach to the automatic refinement and verification of access control policies
2019 Cheminod M.; Durante L.; Seno L.; Valenza F.; Valenzano A.
Performance Evaluation and Modeling of an Industrial Application-Layer Firewall
2018 M. Cheminod; L. Durante; L. Seno; A. Valenzano
Detection of attacks based on known vulnerabilities in industrial networked systems
2017 Cheminod, M; Durante, L; Seno, L; Valenzano, A
Semiautomated Verification of Access Control Implementation in Industrial Networked Systems
2015 M. Cheminod; L. Durante; L. Seno; A. Valenzano
Controllo di Accesso in Sistemi Industriali Distribuiti
2014 Cheminod, M; Durante, L; A Valenzano, L Seno
Review of Security Issues in Industrial Networks
2013 M. Cheminod; L. Durante; A. Valenzano
Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access
2011 M. Cheminod; A. Pironti; R. Sisto
Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access
2011 Cheminod, Manuel; Pironti, Alfredo; Sisto, Riccardo
Tools for Cryptographic Protocols Analysis: A Technical and Experimental Comparison
2009 M. Cheminod; I. Cibrario Bertolotti; L. Durante; R. Sisto; A. Valenzano