A LOTOS specification of the SERCOS field-bus protocol. - Luca Durante; Riccardo Sisto; Adriano Valenzano (SEKE, 1994)

Implementation of static semantic analysis of LOTOS specifications. - Luca Durante; Riccardo Sisto; Adriano Valenzano (Softw. Eng. J., 1994)

Adaptive bandwidth balancing mechanisms for DQDB networks. - Gianluca Cena; Luca Durante; Riccardo Sisto; Adriano Valenzano (Comput. Commun., 1997)

A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification. - Luca Durante; Riccardo Sisto; Adriano Valenzano (FORTE, 2000)

A new CAN-like field network based on a star topology. - Gianluca Cena; Luca Durante; Adriano Valenzano (Comput. Stand. Interfaces, 2001)

Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis. - Ivan Cibrario Bertolotti; Luca Durante; Riccardo Sisto; Adriano Valenzano (FORTE, 2003)

A New Knowledge Representation Strategy for Cryptographic Protocol Analysis. - Ivan Cibrario Bertolotti; Luca Durante; Riccardo Sisto; Adriano Valenzano (TACAS, 2003)

Automatic testing equivalence verification of spi calculus specifications. - Luca Durante; Riccardo Sisto; Adriano Valenzano (ACM Trans. Softw. Eng. Methodol., 2003)

Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus. - Davide Pozza; Riccardo Sisto; Luca Durante (AINA (1), 2004)

Exploiting Symmetries for Testing Equivalence in the Spi Calculus. - Ivan Cibrario Bertolotti; Luca Durante; Riccardo Sisto; Adriano Valenzano (ATVA, 2004)

Automatic Detection of Attacks on Cryptographic Protocols: A Case Study. - Ivan Cibrario Bertolotti; Luca Durante; Riccardo Sisto; Adriano Valenzano (DIMVA, 2005)

Comparing lexical analysis tools for buffer overflow detection in network software. - Davide Pozza; Riccardo Sisto; Luca Durante; Adriano Valenzano (COMSWARE, 2006)

Exploiting Symmetries for Testing Equivalence Verification in the Spi Calculus. - Ivan Cibrario Bertolotti; Luca Durante; Riccardo Sisto; Adriano Valenzano (Int. J. Found. Comput. Sci., 2006)

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)

Improving the security of industrial networks by means of formal verification. - Ivan Cibrario Bertolotti; Luca Durante; Paolo Maggi; Riccardo Sisto; Adriano Valenzano (Comput. Stand. Interfaces, 2007)

Efficient representation of the attacker's knowledge in cryptographic protocols analysis. - Ivan Cibrario Bertolotti; Luca Durante; Riccardo Sisto; Adriano Valenzano (Formal Aspects Comput., 2008)

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)

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)

A Model for the Analysis of Security Policies in Industrial Networks. - Ivan Cibrario Bertolotti; Luca Durante; Tingting Hu; Adriano Valenzano (ICS-CSR, 2013)

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

System-level performance of an automation solution based on industry standards. - Andrea Ballarino; Alessandro Brusaferri; Marco Cereia; Ivan Cibrario Bertolotti; Luca Durante; Tingting Hu; Egidio Leo; Leonardo Nicolosi; Lucia Seno; Stefano Spinelli; Federico Tramarin; Adriano Valenzano; et al. (ETFA, 2014)

Latency evaluation of a firewall for industrial networks based on the Tofino Industrial Security Solution. - Marco Cereia; Ivan Cibrario Bertolotti; Luca Durante; Adriano Valenzano (ETFA, 2014)

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)

A twofold model for the analysis of access control policies in industrial networked systems. - Ivan Cibrario Bertolotti; Luca Durante; Lucia Seno; Adriano Valenzano (Comput. Stand. Interfaces, 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)

A model for the analysis of security policies in service function chains. - Luca Durante; Lucia Seno; Fulvio Valenza; Adriano Valenzano (NetSoft, 2017)

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 Algorithm for Security Policy Migration in Multiple Firewall Networks. - Manuel Cheminod; Luca Durante; Lucia Seno; Adriano Valenzano (ITASEC, 2021)

A Formal Model and Technique to Redistribute the Packet Filtering Load in Multiple Firewall Networks. - Luca Durante; Lucia Seno; Adriano Valenzano (IEEE Trans. Inf. Forensics Secur., 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)

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)

Analyzing Impact and Systemwide Effects of the SlowROS Attack in an Industrial Automation Scenario. - Ivan Cibrario Bertolotti; Luca Durante; Enrico Cambiaso (Future Internet, 2025)

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