Manuel Cheminod

According to our database1, Manuel Cheminod authored at least 23 papers between 2007 and 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

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

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...