Luca Durante

Publication Activity (10 Years)

Years Active: 1994-2022
Publications (10 Years): 16

Top Topics

Security Policies

Automated Analysis

Top Venues

IEEE Trans. Ind. Informatics

Publications

Manuel Cheminod, Luca Durante
Distributed Filtering in Industrial Networks. CyberSec4Europe (2022)
Lucia Seno, Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Adriano Valenzano
Improving performance and cyber-attack resilience in multi-firewall industrial networks. WFCS (2022)
Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Lucia Seno, Adriano Valenzano
. IECON (2022)
Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano
An Algorithm for Security Policy Migration in Multiple Firewall Networks. ITASEC (2021)
Luca Durante, Lucia Seno, Adriano Valenzano
A Formal Model and Technique to Redistribute the Packet Filtering Load in Multiple Firewall Networks. IEEE Trans. Inf. Forensics Secur. 16 (2021)
Manuel Cheminod, Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano
A comprehensive approach to the automatic refinement and verification of access control policies. Comput. Secur. 80 (2019)
Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano
Performance Evaluation and Modeling of an Industrial Application-Layer Firewall. IEEE Trans. Ind. Informatics 14 (5) (2018)
Manuel Cheminod, Luca Durante, Fulvio Valenza, Adriano Valenzano
Toward attribute-based access control policy in industrial networked systems. WFCS (2018)
Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano
A model for the analysis of security policies in service function chains. NetSoft (2017)
Manuel Cheminod, Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano
Automated fixing of access policy implementation in Industrial Networked Systems. WFCS (2017)
Manuel Cheminod, Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano, Claudio Zunino
Leveraging SDN to improve security in industrial networks. WFCS (2017)
Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano
A model for the analysis of security policies in service function chains. CoRR (2017)
Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano
Detection of attacks based on known vulnerabilities in industrial networked systems. J. Inf. Secur. Appl. 34 (2017)
Manuel Cheminod, Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano
Automated fixing of access policy implementation in Industrial Networked Systems. CoRR (2017)
Manuel Cheminod, Luca Durante, Adriano Valenzano, Claudio Zunino
Performance impact of commercial industrial firewalls on networked control systems. ETFA (2016)
Manuel Cheminod, Luca Durante, Marcello Maggiora, Adriano Valenzano, Claudio Zunino
Performance of Firewalls for Industrial Applications. ICS-CSR (2016)
Ivan Cibrario Bertolotti, Luca Durante, Lucia Seno, Adriano Valenzano
A twofold model for the analysis of access control policies in industrial networked systems. Comput. Stand. Interfaces 42 (2015)
Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano
Analysis of access control policies in networked embedded systems: A case study. SIES (2015)
Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano
Analysis of Exploitable Vulnerability Sequences in Industrial Networked Systems: A Proof of Concepts. ICS-CSR (2015)
Manuel Cheminod, Luca Durante, Marcello Maggiora, Lucia Seno, Carmela Troilo, Adriano Valenzano
A semi-graphical modeling framework for the automated analysis of networked systems security. RTSI (2015)
Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano
Semiautomated Verification of Access Control Implementation in Industrial Networked Systems. IEEE Trans. Ind. Informatics 11 (6) (2015)
Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano
On the description of access control policies in networked industrial systems. WFCS (2014)
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
System-level performance of an automation solution based on industry standards. ETFA (2014)
Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano
Automated Analysis of Access Policies in Industrial Plants. ICS-CSR (2014)
Marco Cereia, Ivan Cibrario Bertolotti, Luca Durante, Adriano Valenzano
Latency evaluation of a firewall for industrial networks based on the Tofino Industrial Security Solution. ETFA (2014)
Ivan Cibrario Bertolotti, Luca Durante, Tingting Hu, Adriano Valenzano
A Model for the Analysis of Security Policies in Industrial Networks. ICS-CSR (2013)
Manuel Cheminod, Luca Durante, Adriano Valenzano
Review of Security Issues in Industrial Networks. IEEE Trans. Ind. Informatics 9 (1) (2013)
Manuel Cheminod, Luca Durante, Adriano Valenzano
System configuration check against security policies in industrial networks. SIES (2012)
Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Adriano Valenzano
Modeling Emergency Response Plans with Coloured Petri Nets. CRITIS (2012)
Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
Tools for cryptographic protocols analysis: A technical and experimental comparison. Comput. Stand. Interfaces 31 (5) (2009)
Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Paolo Maggi, Davide Pozza, Riccardo Sisto, Adriano Valenzano
Detecting Chains of Vulnerabilities in Industrial Networks. IEEE Trans. Ind. Informatics 5 (2) (2009)
Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
Efficient representation of the attacker's knowledge in cryptographic protocols analysis. Formal Aspects Comput. 20 (3) (2008)
Ivan Cibrario Bertolotti, Luca Durante, Paolo Maggi, Riccardo Sisto, Adriano Valenzano
Improving the security of industrial networks by means of formal verification. Comput. Stand. Interfaces 29 (3) (2007)
Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems. DepCoS-RELCOMEX (2007)
Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols. DepCoS-RELCOMEX (2007)
Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
Exploiting Symmetries for Testing Equivalence Verification in the Spi Calculus. Int. J. Found. Comput. Sci. 17 (4) (2006)
Davide Pozza, Riccardo Sisto, Luca Durante, Adriano Valenzano
Comparing lexical analysis tools for buffer overflow detection in network software. COMSWARE (2006)
Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
Automatic Detection of Attacks on Cryptographic Protocols: A Case Study. DIMVA (2005)
Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
Exploiting Symmetries for Testing Equivalence in the Spi Calculus. ATVA (2004)
Davide Pozza, Riccardo Sisto, Luca Durante
Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus. AINA (1) (2004)
Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
A New Knowledge Representation Strategy for Cryptographic Protocol Analysis. TACAS (2003)
Luca Durante, Riccardo Sisto, Adriano Valenzano
Automatic testing equivalence verification of spi calculus specifications. ACM Trans. Softw. Eng. Methodol. 12 (2) (2003)
Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis. FORTE (2003)
Gianluca Cena, Luca Durante, Adriano Valenzano
A new CAN-like field network based on a star topology. Comput. Stand. Interfaces 23 (3) (2001)
Luca Durante, Riccardo Sisto, Adriano Valenzano
A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification. FORTE (2000)
Gianluca Cena, Luca Durante, Riccardo Sisto, Adriano Valenzano
Adaptive bandwidth balancing mechanisms for DQDB networks. Comput. Commun. 20 (9) (1997)
Luca Durante, Riccardo Sisto, Adriano Valenzano
Implementation of static semantic analysis of LOTOS specifications. Softw. Eng. J. 9 (2) (1994)
Luca Durante, Riccardo Sisto, Adriano Valenzano
A LOTOS specification of the SERCOS field-bus protocol. SEKE (1994)