Manuel Cheminod

Orcid: 0000-0001-5716-7870

According to our database1, Manuel Cheminod authored at least 32 papers between 2007 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Time-Sensitive Networking to Improve the Performance of Distributed Functional Safety Systems Implemented over Wi-Fi.
Sensors, September, 2023

Static Analysis of Packet Forwarding and Filtering Configurations in Industrial Networks.
Proceedings of the 19th IEEE International Conference on Factory Communication Systems, 2023

Evaluating the Integration of Wireless Time-Sensitive Networking with Software-Defined Networking for Dynamic Network Configuration.
Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

2022
Improving performance and cyber-attack resilience in multi-firewall industrial networks.
Proceedings of the 18th IEEE International Conference on Factory Communication Systems, 2022

Open-source firewalls for industrial applications: a laboratory study of Linux IPFire behavior<sup>*</sup>.
Proceedings of the IECON 2022, 2022

Distributed Filtering in Industrial Networks.
Proceedings of the Digital Sovereignty in Cyber Security: New Challenges in Future Vision, 2022

2021
An Algorithm for Security Policy Migration in Multiple Firewall Networks.
Proceedings of the Italian Conference on Cybersecurity, 2021

2020
An Optimized Firewall Anomaly Resolution.
J. Internet Serv. Inf. Secur., 2020

2019
A comprehensive approach to the automatic refinement and verification of access control policies.
Comput. Secur., 2019

2018
Performance Evaluation and Modeling of an Industrial Application-Layer Firewall.
IEEE Trans. Ind. Informatics, 2018

Toward attribute-based access control policy in industrial networked systems.
Proceedings of the 14th IEEE International Workshop on Factory Communication Systems, 2018

2017
Detection of attacks based on known vulnerabilities in industrial networked systems.
J. Inf. Secur. Appl., 2017

Leveraging SDN to improve security in industrial networks.
Proceedings of the IEEE 13th International Workshop on Factory Communication Systems, 2017

Automated fixing of access policy implementation in Industrial Networked Systems.
Proceedings of the IEEE 13th International Workshop on Factory Communication Systems, 2017

2016
Performance of Firewalls for Industrial Applications.
Proceedings of the 4th International Symposium for ICS & SCADA Cyber Security Research 2016, 2016

Performance impact of commercial industrial firewalls on networked control systems.
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

2015
Semiautomated Verification of Access Control Implementation in Industrial Networked Systems.
IEEE Trans. Ind. Informatics, 2015

Analysis of access control policies in networked embedded systems: A case study.
Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

A semi-graphical modeling framework for the automated analysis of networked systems security.
Proceedings of the 1st IEEE International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow, 2015

Analysis of Exploitable Vulnerability Sequences in Industrial Networked Systems: A Proof of Concepts.
Proceedings of the 3rd International Symposium for ICS & SCADA Cyber Security Research 2015, 2015

2014
On the description of access control policies in networked industrial systems.
Proceedings of the 10th IEEE Workshop on Factory Communication Systems, 2014

Automated Analysis of Access Policies in Industrial Plants.
Proceedings of the 2nd International Symposium for ICS & SCADA Cyber Security Research 2014, 2014

2013
Review of Security Issues in Industrial Networks.
IEEE Trans. Ind. Informatics, 2013

Policy implementation check in industrial networks.
Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

2012
System configuration check against security policies in industrial networks.
Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012

Modeling Emergency Response Plans with Coloured Petri Nets.
Proceedings of the Critical Information Infrastructures Security, 2012

2011
Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access.
IEEE Trans. Ind. Informatics, 2011

2010
Formal techniques for the analysis and verification of security properties in distributed systems.
PhD thesis, 2010

2009
Detecting Chains of Vulnerabilities in Industrial Networks.
IEEE Trans. Ind. Informatics, 2009

Tools for cryptographic protocols analysis: A technical and experimental comparison.
Comput. Stand. Interfaces, 2009

2007
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols.
Proceedings of the 2007 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), 2007

Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems.
Proceedings of the 2007 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), 2007


  Loading...