| 2022 | IECON | Open-source firewalls for industrial applications: a laboratory study of Linux IPFire behavior | Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Lucia Seno, Adriano Valenzano |
| 2022 | WFCS | Improving performance and cyber-attack resilience in multi-firewall industrial networks. | Lucia Seno, Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Adriano Valenzano |
| 2018 | WFCS | Toward attribute-based access control policy in industrial networked systems. | Manuel Cheminod, Luca Durante, Fulvio Valenza, Adriano Valenzano |
| 2017 | NetSoft | A model for the analysis of security policies in service function chains. | Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano |
| 2017 | WFCS | Automated fixing of access policy implementation in Industrial Networked Systems. | Manuel Cheminod, Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano |
| 2017 | WFCS | Leveraging SDN to improve security in industrial networks. | Manuel Cheminod, Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano, Claudio Zunino |
| 2016 | ETFA | Performance impact of commercial industrial firewalls on networked control systems. | Manuel Cheminod, Luca Durante, Adriano Valenzano, Claudio Zunino |
| 2014 | ETFA | 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, Stefano Vitturi |
| 2014 | ETFA | Latency evaluation of a firewall for industrial networks based on the Tofino Industrial Security Solution. | Marco Cereia, Ivan Cibrario Bertolotti, Luca Durante, Adriano Valenzano |
| 2014 | WFCS | On the description of access control policies in networked industrial systems. | Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano |
| 2012 | CRITIS | Modeling Emergency Response Plans with Coloured Petri Nets. | Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Adriano Valenzano |
| 2007 | DEPCoS | Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems. | Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano |
| 2007 | DEPCoS | Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols. | Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano |
| 2005 | DIMVA | Automatic Detection of Attacks on Cryptographic Protocols: A Case Study. | Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano |
| 2004 | AINA | Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus. | Davide Pozza, Riccardo Sisto, Luca Durante |
| 2004 | ATVA | Exploiting Symmetries for Testing Equivalence in the Spi Calculus. | Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano |
| 2003 | FORTE | Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis. | Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano |
| 2003 | TACAS | A New Knowledge Representation Strategy for Cryptographic Protocol Analysis. | Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano |
| 2000 | FORTE | A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification. | Luca Durante, Riccardo Sisto, Adriano Valenzano |
| 1994 | SEKE | A LOTOS specification of the SERCOS field-bus protocol. | Luca Durante, Riccardo Sisto, Adriano Valenzano |