Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems. - Manuel Cheminod; Ivan Cibrario Bertolotti; Luca Durante; Riccardo Sisto; Adriano Valenzano (DepCoS-RELCOMEX, 2007)

Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols. - Manuel Cheminod; Ivan Cibrario Bertolotti; Luca Durante; Riccardo Sisto; Adriano Valenzano (DepCoS-RELCOMEX, 2007)

Tools for cryptographic protocols analysis: A technical and experimental comparison. - Manuel Cheminod; Ivan Cibrario Bertolotti; Luca Durante; Riccardo Sisto; Adriano Valenzano (Comput. Stand. Interfaces, 2009)

Detecting Chains of Vulnerabilities in Industrial Networks. - Manuel Cheminod; Ivan Cibrario Bertolotti; Luca Durante; Paolo Maggi; Davide Pozza; Riccardo Sisto; Adriano Valenzano (IEEE Trans. Ind. Informatics, 2009)

Formal techniques for the analysis and verification of security properties in distributed systems. - Manuel Cheminod (2010)

Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access. - Manuel Cheminod; Alfredo Pironti 001; Riccardo Sisto (IEEE Trans. Ind. Informatics, 2011)

Modeling Emergency Response Plans with Coloured Petri Nets. - Manuel Cheminod; Ivan Cibrario Bertolotti; Luca Durante; Adriano Valenzano (CRITIS, 2012)

System configuration check against security policies in industrial networks. - Manuel Cheminod; Luca Durante; Adriano Valenzano (SIES, 2012)

Policy implementation check in industrial networks. - Manuel Cheminod (INDIN, 2013)

Review of Security Issues in Industrial Networks. - Manuel Cheminod; Luca Durante; Adriano Valenzano (IEEE Trans. Ind. Informatics, 2013)

Automated Analysis of Access Policies in Industrial Plants. - Manuel Cheminod; Luca Durante; Lucia Seno; Adriano Valenzano (ICS-CSR, 2014)

On the description of access control policies in networked industrial systems. - Manuel Cheminod; Luca Durante; Lucia Seno; Adriano Valenzano (WFCS, 2014)

Analysis of Exploitable Vulnerability Sequences in Industrial Networked Systems: A Proof of Concepts. - Manuel Cheminod; Luca Durante; Lucia Seno; Adriano Valenzano (ICS-CSR, 2015)

A semi-graphical modeling framework for the automated analysis of networked systems security. - Manuel Cheminod; Luca Durante; Marcello Maggiora; Lucia Seno; Carmela Troilo; Adriano Valenzano (RTSI, 2015)

Analysis of access control policies in networked embedded systems: A case study. - Manuel Cheminod; Luca Durante; Lucia Seno; Adriano Valenzano (SIES, 2015)

Semiautomated Verification of Access Control Implementation in Industrial Networked Systems. - Manuel Cheminod; Luca Durante; Lucia Seno; Adriano Valenzano (IEEE Trans. Ind. Informatics, 2015)

Performance impact of commercial industrial firewalls on networked control systems. - Manuel Cheminod; Luca Durante; Adriano Valenzano; Claudio Zunino (ETFA, 2016)

Performance of Firewalls for Industrial Applications. - Manuel Cheminod; Luca Durante; Marcello Maggiora; Adriano Valenzano; Claudio Zunino (ICS-CSR, 2016)

Automated fixing of access policy implementation in Industrial Networked Systems. - Manuel Cheminod; Luca Durante; Lucia Seno; Fulvio Valenza; Adriano Valenzano (WFCS, 2017)

Leveraging SDN to improve security in industrial networks. - Manuel Cheminod; Luca Durante; Lucia Seno; Fulvio Valenza; Adriano Valenzano; Claudio Zunino (WFCS, 2017)

Detection of attacks based on known vulnerabilities in industrial networked systems. - Manuel Cheminod; Luca Durante; Lucia Seno; Adriano Valenzano (J. Inf. Secur. Appl., 2017)

Toward attribute-based access control policy in industrial networked systems. - Manuel Cheminod; Luca Durante; Fulvio Valenza; Adriano Valenzano (WFCS, 2018)

Performance Evaluation and Modeling of an Industrial Application-Layer Firewall. - Manuel Cheminod; Luca Durante; Lucia Seno; Adriano Valenzano (IEEE Trans. Ind. Informatics, 2018)

A comprehensive approach to the automatic refinement and verification of access control policies. - Manuel Cheminod; Luca Durante; Lucia Seno; Fulvio Valenza; Adriano Valenzano (Comput. Secur., 2019)

An Optimized Firewall Anomaly Resolution. - Fulvio Valenza; Manuel Cheminod (J. Internet Serv. Inf. Secur., 2020)

An Algorithm for Security Policy Migration in Multiple Firewall Networks. - Manuel Cheminod; Luca Durante; Lucia Seno; Adriano Valenzano (ITASEC, 2021)

Distributed Filtering in Industrial Networks. - Manuel Cheminod; Luca Durante (CyberSec4Europe, 2022)

Open-source firewalls for industrial applications: a laboratory study of Linux IPFire behavior*. - Manuel Cheminod; Ivan Cibrario Bertolotti; Luca Durante; Lucia Seno; Adriano Valenzano (IECON, 2022)

Improving performance and cyber-attack resilience in multi-firewall industrial networks. - Lucia Seno; Manuel Cheminod; Ivan Cibrario Bertolotti; Luca Durante; Adriano Valenzano (WFCS, 2022)

Evaluating the Integration of Wireless Time-Sensitive Networking with Software-Defined Networking for Dynamic Network Configuration. - Alberto Morato; Claudio Zunino; Manuel Cheminod; Stefano Vitturi; Dave Cavalcanti 001; Susruth Sudhakaran; Federico Tramarin (ETFA, 2023)

Static Analysis of Packet Forwarding and Filtering Configurations in Industrial Networks. - Manuel Cheminod; Lucia Seno (WFCS, 2023)

Time-Sensitive Networking to Improve the Performance of Distributed Functional Safety Systems Implemented over Wi-Fi. - Alberto Morato; Stefano Vitturi; Federico Tramarin; Claudio Zunino; Manuel Cheminod (Sensors, 2023)

IEEE 1588 (PTP) Over mmWave 5G NR: Preliminary Assessment of the Synchronization Accuracy for TSN Applications. - Alberto Morato; Elena Ferrari 002; Claudio Zunino; Manuel Cheminod; Stefano Vitturi; Federico Tramarin (ETFA, 2024)

Redundancy for MQTT Communication: An Evolution. - Claudio Zunino; Manuel Cheminod; Gianluca Cena; Stefano Vitturi; Alberto Morato; Elena Ferrari 002; Federico Tramarin (ETFA, 2024)

Time-Sensitive Networking and Software-Defined Networking: An Experimental Setup for Realistic Performances. - Claudio Zunino; Manuel Cheminod; Stefano Vitturi; Alberto Morato; Elena Ferrari 002; Dave Cavalcanti 001; Susruth Sudhakaran; Federico Tramarin (ETFA, 2024)

A TSN-based Technique for Real-Time Latency Evaluation in Communication Networks. - Alberto Morato; Claudio Zunino; Manuel Cheminod; Stefano Vitturi; Federico Tramarin (I2MTC, 2024)

Time Sensitive Networking for Future Enabling Technologies: Overview and Measurement Issues for Metrological Characterization. - Andrea Amodei; Domenico Capriglione; Manuel Cheminod; Paolo Ferrari; Gianfranco Miele; Alberto Morato; Federico Tramarin; Stefano Vitturi; Emiliano Sisinni; Claudio Zunino (M&N, 2024)

A TSN-Based Approach to Combine Real-Time CAN Network with In-Vehicle Ethernet. - Alberto Morato; Elena Ferrari 002; Stefano Vitturi; Federico Tramarin; Claudio Zunino; Manuel Cheminod (MetroAutomotive, 2024)

A Methodological Approach to Securing Cyber-Physical Systems for Critical Infrastructures. - Antonello Calabrò; Enrico Cambiaso; Manuel Cheminod; Ivan Cibrario Bertolotti; Luca Durante; Agostino Forestiero; Flavio Lombardi; Giuseppe Manco 001; Eda Marchetti; Albina Orlando; Giuseppe Papuzzo (Future Internet, 2024)

Low-Cost Software Evaluation of Communication Delays in Networked Industrial Systems. - Manuel Cheminod; Ivan Cibrario Bertolotti; Adriano Valenzano; Luca Durante (Future Internet, 2025)