Manuel Cheminod

42 papers C 15Journal 13Unranked 13
YearRankTypeTitle / Venue / Authors
2025 C conf
A Smart Redundant Version of the MQTT Protocol.
ETFA
Claudio Zunino, Manuel Cheminod, Gianluca Cena, Stefano Vitturi, Alberto Morato, Elena Ferrari, Federico Tramarin
2025 J jnl
Low-Cost Software Evaluation of Communication Delays in Networked Industrial Systems.
Future Internet
Manuel Cheminod, Ivan Cibrario Bertolotti, Adriano Valenzano, Luca Durante
2024 J jnl
A Methodological Approach to Securing Cyber-Physical Systems for Critical Infrastructures.
Future Internet
Antonello Calabrò, Enrico Cambiaso, Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Agostino Forestiero, Flavio Lombardi, Giuseppe Manco, Eda Marchetti, Albina Orlando, Giuseppe Papuzzo
2024 — conf
A TSN-Based Approach to Combine Real-Time CAN Network with In-Vehicle Ethernet.
MetroAutomotive
Alberto Morato, Elena Ferrari, Stefano Vitturi, Federico Tramarin, Claudio Zunino, Manuel Cheminod
2024 — conf
A TSN-based Technique for Real-Time Latency Evaluation in Communication Networks.
I2MTC
Alberto Morato, Claudio Zunino, Manuel Cheminod, Stefano Vitturi, Federico Tramarin
2024 C conf
IEEE 1588 (PTP) Over mmWave 5G NR: Preliminary Assessment of the Synchronization Accuracy for TSN Applications.
ETFA
Alberto Morato, Elena Ferrari, Claudio Zunino, Manuel Cheminod, Stefano Vitturi, Federico Tramarin
2024 C conf
Redundancy for MQTT Communication: An Evolution.
ETFA
Claudio Zunino, Manuel Cheminod, Gianluca Cena, Stefano Vitturi, Alberto Morato, Elena Ferrari, Federico Tramarin
2024 — conf
Time Sensitive Networking for Future Enabling Technologies: Overview and Measurement Issues for Metrological Characterization.
M&N
Andrea Amodei, Domenico Capriglione, Manuel Cheminod, Paolo Ferrari, Gianfranco Miele, Alberto Morato, Federico Tramarin, Stefano Vitturi, Emiliano Sisinni, Claudio Zunino
2024 C conf
Time-Sensitive Networking and Software-Defined Networking: An Experimental Setup for Realistic Performances.
ETFA
Claudio Zunino, Manuel Cheminod, Stefano Vitturi, Alberto Morato, Elena Ferrari, Dave Cavalcanti, Susruth Sudhakaran, Federico Tramarin
2023 C conf
Evaluating the Integration of Wireless Time-Sensitive Networking with Software-Defined Networking for Dynamic Network Configuration.
ETFA
Alberto Morato, Claudio Zunino, Manuel Cheminod, Stefano Vitturi, Dave Cavalcanti, Susruth Sudhakaran, Federico Tramarin
2023 C conf
Static Analysis of Packet Forwarding and Filtering Configurations in Industrial Networks.
WFCS
Manuel Cheminod, Lucia Seno
2023 J jnl
Time-Sensitive Networking to Improve the Performance of Distributed Functional Safety Systems Implemented over Wi-Fi.
Sensors
Alberto Morato, Stefano Vitturi, Federico Tramarin, Claudio Zunino, Manuel Cheminod
2022 — conf
Distributed Filtering in Industrial Networks.
CyberSec4Europe
Manuel Cheminod, Luca Durante
2022 C conf
Improving performance and cyber-attack resilience in multi-firewall industrial networks.
WFCS
Lucia Seno, Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Adriano Valenzano
2022 C conf
Open-source firewalls for industrial applications: a laboratory study of Linux IPFire behavior
IECON
Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Lucia Seno, Adriano Valenzano
2021 — conf
An Algorithm for Security Policy Migration in Multiple Firewall Networks.
ITASEC
Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano
2020 J jnl
An Optimized Firewall Anomaly Resolution.
J. Internet Serv. Inf. Secur.
Fulvio Valenza, Manuel Cheminod
2019 J jnl
A comprehensive approach to the automatic refinement and verification of access control policies.
Comput. Secur.
Manuel Cheminod, Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano
2018 J jnl
Performance Evaluation and Modeling of an Industrial Application-Layer Firewall.
IEEE Trans. Ind. Informatics
Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano
2018 C conf
Toward attribute-based access control policy in industrial networked systems.
WFCS
Manuel Cheminod, Luca Durante, Fulvio Valenza, Adriano Valenzano
2017 C conf
Automated fixing of access policy implementation in Industrial Networked Systems.
WFCS
Manuel Cheminod, Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano
2017 J jnl
Automated fixing of access policy implementation in Industrial Networked Systems.
CoRR
Manuel Cheminod, Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano
2017 J jnl
Detection of attacks based on known vulnerabilities in industrial networked systems.
J. Inf. Secur. Appl.
Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano
2017 C conf
Leveraging SDN to improve security in industrial networks.
WFCS
Manuel Cheminod, Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano, Claudio Zunino
2016 C conf
Performance impact of commercial industrial firewalls on networked control systems.
ETFA
Manuel Cheminod, Luca Durante, Adriano Valenzano, Claudio Zunino
2016 — conf
Performance of Firewalls for Industrial Applications.
ICS-CSR
Manuel Cheminod, Luca Durante, Marcello Maggiora, Adriano Valenzano, Claudio Zunino
2015 — conf
A semi-graphical modeling framework for the automated analysis of networked systems security.
RTSI
Manuel Cheminod, Luca Durante, Marcello Maggiora, Lucia Seno, Carmela Troilo, Adriano Valenzano
2015 — conf
Analysis of Exploitable Vulnerability Sequences in Industrial Networked Systems: A Proof of Concepts.
ICS-CSR
Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano
2015 — conf
Analysis of access control policies in networked embedded systems: A case study.
SIES
Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano
2015 J jnl
Semiautomated Verification of Access Control Implementation in Industrial Networked Systems.
IEEE Trans. Ind. Informatics
Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano
2014 — conf
Automated Analysis of Access Policies in Industrial Plants.
ICS-CSR
Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano
2014 C conf
On the description of access control policies in networked industrial systems.
WFCS
Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano
2013 C conf
Policy implementation check in industrial networks.
INDIN
Manuel Cheminod
2013 J jnl
Review of Security Issues in Industrial Networks.
IEEE Trans. Ind. Informatics
Manuel Cheminod, Luca Durante, Adriano Valenzano
2012 C conf
Modeling Emergency Response Plans with Coloured Petri Nets.
CRITIS
Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Adriano Valenzano
2012 — conf
System configuration check against security policies in industrial networks.
SIES
Manuel Cheminod, Luca Durante, Adriano Valenzano
2011 J jnl
Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access.
IEEE Trans. Ind. Informatics
Manuel Cheminod, Alfredo Pironti, Riccardo Sisto
2010 — —
Formal techniques for the analysis and verification of security properties in distributed systems.
Manuel Cheminod
2009 J jnl
Detecting Chains of Vulnerabilities in Industrial Networks.
IEEE Trans. Ind. Informatics
Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Paolo Maggi, Davide Pozza, Riccardo Sisto, Adriano Valenzano
2009 J jnl
Tools for cryptographic protocols analysis: A technical and experimental comparison.
Comput. Stand. Interfaces
Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
2007 — conf
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems.
DepCoS-RELCOMEX
Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
2007 — conf
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols.
DepCoS-RELCOMEX
Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano