Manuel Cheminod

Lucia Seno

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Lucia Seno

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

[BibT_eX]

[DOI]

Lucia Seno

Proceedings of the IECON 2022, 2022

Distributed Filtering in Industrial Networks.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Italian Conference on Cybersecurity, 2021

2020

An Optimized Firewall Anomaly Resolution.

[BibT_eX]

[DOI]

Fulvio Valenza

J. Internet Serv. Inf. Secur., 2020

2019

A comprehensive approach to the automatic refinement and verification of access control policies.

[BibT_eX]

[DOI]

Comput. Secur., 2019

2018

Performance Evaluation and Modeling of an Industrial Application-Layer Firewall.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2018

Toward attribute-based access control policy in industrial networked systems.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Workshop on Factory Communication Systems, 2018

2017

Detection of attacks based on known vulnerabilities in industrial networked systems.

[BibT_eX]

[DOI]

J. Inf. Secur. Appl., 2017

Leveraging SDN to improve security in industrial networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE 13th International Workshop on Factory Communication Systems, 2017

Automated fixing of access policy implementation in Industrial Networked Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 13th International Workshop on Factory Communication Systems, 2017

2016

Performance of Firewalls for Industrial Applications.

[BibT_eX]

[DOI]

Proceedings of the 4th International Symposium for ICS & SCADA Cyber Security Research 2016, 2016

Performance impact of commercial industrial firewalls on networked control systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2015

Analysis of access control policies in networked embedded systems: A case study.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE Workshop on Factory Communication Systems, 2014

Automated Analysis of Access Policies in Industrial Plants.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Symposium for ICS & SCADA Cyber Security Research 2014, 2014

2013

Review of Security Issues in Industrial Networks.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2013

Policy implementation check in industrial networks.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

2012

System configuration check against security policies in industrial networks.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012

Modeling Emergency Response Plans with Coloured Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Critical Information Infrastructures Security, 2012

2011

Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access.

[BibT_eX]

[DOI]

Alfredo Pironti

IEEE Trans. Ind. Informatics, 2011

2010

Formal techniques for the analysis and verification of security properties in distributed systems.

[BibT_eX]

[DOI]

PhD thesis, 2010

2009

Detecting Chains of Vulnerabilities in Industrial Networks.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2009

Tools for cryptographic protocols analysis: A technical and experimental comparison.

[BibT_eX]

[DOI]

Comput. Stand. Interfaces, 2009

2007

Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]