Manuel Cheminod

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 21

Top Topics

Automated Analysis

Packet Forwarding

Security Enforcement

Top Venues

IEEE Trans. Ind. Informatics

Publications

Alberto Morato, Claudio Zunino, Manuel Cheminod, Stefano Vitturi, Dave Cavalcanti, Susruth Sudhakaran, Federico Tramarin
Evaluating the Integration of Wireless Time-Sensitive Networking with Software-Defined Networking for Dynamic Network Configuration. ETFA (2023)
Alberto Morato, Stefano Vitturi, Federico Tramarin, Claudio Zunino, Manuel Cheminod
Time-Sensitive Networking to Improve the Performance of Distributed Functional Safety Systems Implemented over Wi-Fi. Sensors 23 (18) (2023)
Manuel Cheminod, Lucia Seno
Static Analysis of Packet Forwarding and Filtering Configurations in Industrial Networks. WFCS (2023)
Manuel Cheminod, Luca Durante
Distributed Filtering in Industrial Networks. CyberSec4Europe (2022)
Lucia Seno, Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Adriano Valenzano
Improving performance and cyber-attack resilience in multi-firewall industrial networks. WFCS (2022)
Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Lucia Seno, Adriano Valenzano
. IECON (2022)
Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano
An Algorithm for Security Policy Migration in Multiple Firewall Networks. ITASEC (2021)
Fulvio Valenza, Manuel Cheminod
An Optimized Firewall Anomaly Resolution. J. Internet Serv. Inf. Secur. 10 (1) (2020)
Manuel Cheminod, Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano
A comprehensive approach to the automatic refinement and verification of access control policies. Comput. Secur. 80 (2019)
Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano
Performance Evaluation and Modeling of an Industrial Application-Layer Firewall. IEEE Trans. Ind. Informatics 14 (5) (2018)
Manuel Cheminod, Luca Durante, Fulvio Valenza, Adriano Valenzano
Toward attribute-based access control policy in industrial networked systems. WFCS (2018)
Manuel Cheminod, Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano
Automated fixing of access policy implementation in Industrial Networked Systems. WFCS (2017)
Manuel Cheminod, Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano, Claudio Zunino
Leveraging SDN to improve security in industrial networks. WFCS (2017)
Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano
Detection of attacks based on known vulnerabilities in industrial networked systems. J. Inf. Secur. Appl. 34 (2017)
Manuel Cheminod, Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano
Automated fixing of access policy implementation in Industrial Networked Systems. CoRR (2017)
Manuel Cheminod, Luca Durante, Adriano Valenzano, Claudio Zunino
Performance impact of commercial industrial firewalls on networked control systems. ETFA (2016)
Manuel Cheminod, Luca Durante, Marcello Maggiora, Adriano Valenzano, Claudio Zunino
Performance of Firewalls for Industrial Applications. ICS-CSR (2016)
Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano
Analysis of access control policies in networked embedded systems: A case study. SIES (2015)
Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano
Analysis of Exploitable Vulnerability Sequences in Industrial Networked Systems: A Proof of Concepts. ICS-CSR (2015)
Manuel Cheminod, Luca Durante, Marcello Maggiora, Lucia Seno, Carmela Troilo, Adriano Valenzano
A semi-graphical modeling framework for the automated analysis of networked systems security. RTSI (2015)
Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano
Semiautomated Verification of Access Control Implementation in Industrial Networked Systems. IEEE Trans. Ind. Informatics 11 (6) (2015)
Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano
On the description of access control policies in networked industrial systems. WFCS (2014)
Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano
Automated Analysis of Access Policies in Industrial Plants. ICS-CSR (2014)
Manuel Cheminod
Policy implementation check in industrial networks. INDIN (2013)
Manuel Cheminod, Luca Durante, Adriano Valenzano
Review of Security Issues in Industrial Networks. IEEE Trans. Ind. Informatics 9 (1) (2013)
Manuel Cheminod, Luca Durante, Adriano Valenzano
System configuration check against security policies in industrial networks. SIES (2012)
Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Adriano Valenzano
Modeling Emergency Response Plans with Coloured Petri Nets. CRITIS (2012)
Manuel Cheminod, Alfredo Pironti, Riccardo Sisto
Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access. IEEE Trans. Ind. Informatics 7 (1) (2011)
Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
Tools for cryptographic protocols analysis: A technical and experimental comparison. Comput. Stand. Interfaces 31 (5) (2009)
Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Paolo Maggi, Davide Pozza, Riccardo Sisto, Adriano Valenzano
Detecting Chains of Vulnerabilities in Industrial Networks. IEEE Trans. Ind. Informatics 5 (2) (2009)
Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems. DepCoS-RELCOMEX (2007)
Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols. DepCoS-RELCOMEX (2007)