Luca DURANTE

Email : luca.durante [at] ieiit.cnr.it

Research Interests

Techniques And Tools For The Analysis of Networks And Complex Systems


Projects

PHOTO
Phone : +39 011 0905425
Fax : +39 011 0905429
Site :Torino
Position : Senior Researcher

Publications

journals |conference proceedings |book chapters |

journals

M. Cheminod, L. Durante, L. Seno, A. Valenzano

Detection of attacks based on known vulnerabilities in industrial networked systems

Journal of Information Security and Applications, 34(2):153-165, 2017


L. Durante, M. Maggiora, A. Valenzano

Analisi di sicurezza system-level per reti industriali

Cabling & Wireless, 8(3):33-36, 2017


L. Durante, M. Maggiora, A. Valenzano

Valutazione low-cost di firewall industriali

Cabling & Wireless, 8(4):38-40 , 2017


I. Cibrario Bertolotti, L. Durante, L. Seno, A. Valenzano

A Twofold Formal Model for the Analysis of Access Control Policies in Industrial Networked Systems

Computer Standards & Interfaces, 42(6):171-181, 2015


M. Cheminod, L. Durante, L. Seno, A. Valenzano

Semiautomated Verification of Access Control Implementation in Industrial Networked Systems

IEEE Transactions on Industrial Informatics, 11(6):1388-1399, 2015


M. Cheminod, L. Durante, L. Seno, A. Valenzano

Controllo di Accesso in Sistemi Industriali Distribuiti

Automazione e Strumentazione, 62(7):72-74, 2014


M. Cheminod, L. Durante, A. Valenzano

Review of Security Issues in Industrial Networks

IEEE Transactions on Industrial Informatics, 9(1):277-293, 2013


L. Durante, A. Valenzano

La Cybersecurity delle Reti Industriali

Automazione e Strumentazione, 61(2):78-81, 2013


M. Cheminod, I. Cibrario Bertolotti, L. Durante, P. Maggi, D. Pozza, R. Sisto, A. Valenzano

Detecting Chains of Vulnerabilities in Industrial Networks

IEEE Transactions on Industrial Informatics, 5(2):181-193, 2009


M. Cheminod, I. Cibrario Bertolotti, L. Durante, R. Sisto, A. Valenzano

Tools for Cryptographic Protocols Analysis: a Technical and Experimental Comparison

Computer Standards & Interfaces, 31(5):954-961, 2009


I. Cibrario Bertolotti, L. Durante, R. Sisto, A. Valenzano

Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis

Formal Aspects of Computing, 20(3):303-348, 2008


I. Cibrario Bertolotti, L. Durante, P. Maggi, R. Sisto, A. Valenzano

Improving the Security of Industrial Networks by Means of Formal Verification

Computer Standards & Interfaces, 29(3):387-397, 2007


I. Cibrario Bertolotti, L. Durante, R. Sisto, A. Valenzano

Exploiting Symmetries for Testing Equivalence Verification in the SPI Calculus

Invited paper. International Journal of Foundations of Computer Science, 17(4):815-832, 2006


L. Durante, A. Valenzano, R. Sisto

Automatic Testing Equivalence Verification of Spi Calculus Specifications

ACM Transactions on Software Engineering and Methodology, 12(2):222-284, 2003


G. Cena, L. Durante, A. Valenzano

A new CAN-Like Field Network Based on a Star Topology

Computer Standards & Interfaces, 23(3):209-222, 2001


L. Durante, A. Valenzano

On the Performance of the IEC 61158 Fieldbus

Computer Standards & Interfaces, 21(3):241-250, 1999


G. Cena, L. Durante, R. Sisto, A. Valenzano

Adaptive Bandwidth Balancing Mechanisms for DQDB Networks

Computer Communications, 20(9):804-819, 1997


G. Cena, L. Durante, A. Valenzano

Standard Fieldbus Networks for Industrial Applications

Computer Standards & Interfaces, 17(2):155-167, 1995


L. Durante, R. Sisto, A. Valenzano

Implementation of Static Semantic Analysis of LOTOS Specifications

IEE Software Engineering Journal, 9(2):55-66, 1994


conference proceedings

Manuel Cheminod, Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano, Claudio Zunino

Leveraging SDN to improve security in industrial networks

13th IEEE Int. Workshop on Factory Communication Systems (WFCS), pp. 1-7, 2017


Manuel Cheminod, Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano

Automated fixing of access policy implementation in Industrial Networked Systems

13th IEEE Int. Workshop on Factory Communication Systems (WFCS), pp. 1-9, 2017


L. Durante, L. Seno, F. Valenza, A. Valenzano

A model for the analysis of security policies in service function chains

3rd IEEE Int. Conference on Network Softwarization (NetSoft), pp. 1-6, 2017


M. Cheminod, L. Durante, M. Maggiora, A. Valenzano, C. Zunino

Performance of Firewalls for Industrial Applications

4th Int. Symposium on ICS and SCADA Cyber Security (ICS-CSR), pp. 42-52 , 2016


M. Cheminod, L. Durante, A. Valenzano, C. Zunino

Performance Impact of Commercial Industrial Firewalls on Networked Control Systems

21st IEEE Int. Conference on Emerging Technologies and Factory Automation (ETFA), pp. 1-8, 2016


M. Cheminod, L. Durante, L. Seno, A. Valenzano

Analysis of Access Control Policies in Networked Embedded Systems: A Case Study

10th IEEE Int. Symposium on Industrial Embedded Systems (SIES), pp. 1-10, 2015


M. Cheminod, L. Durante, L. Seno, A. Valenzano

Analysis of Exploitable Vulnerability Sequences in Industrial Networked Systems: A Proof of Concepts

3rd Int. Symposium on ICS and SCADA Cyber Security (ICS-CSR), pp. 63-72, 2015


M. Cheminod, L. Durante, M. Maggiora, L. Seno, C. Troilo, A. Valenzano

A Semi-Graphical Modeling Framework for the Automated Analysis of Networked Systems Security

1st IEEE Int. Forum on Research and Technologies for Society and Industry (RTSI), pp. 411-418, 2015


M. Cheminod, L. Durante, L. Seno, A. Valenzano

On the Description of Access Control Policies in Networked Industrial Systems

10th IEEE Int. Workshop on Factory Communication Systems (WFCS), pp. 1-10, 2014


M. Cheminod, L. Durante, L. Seno, A. Valenzano

Automated Analysis of Access Policies in Industrial Plants

2nd Int. Symposium on ICS and SCADA Cyber Security (ICS-CSR), pp. 43-52, 2014


M. Cereia, I. Cibrario Bertolotti, L. Durante, A. Valenzano

Latency Evaluation of a Firewall for Industrial Networks Based on the Tofino Industrial Security Solution

19th IEEE Int. Conference on Emerging Technologies and Factory Automation (ETFA), pp. 1-8, 2014


A. Ballarino, A. Brusaferri, M. Cereia, I. Cibrario Bertolotti, L. Durante, T. Hu, E. Leo, L. Nicolosi, L. Seno, S. Spinelli, F. Tramarin, A. Valenzano, S. Vitturi

System-level Performance of an Automation Solution Based on Industry Standards

19th IEEE Int. Conference on Emerging Technologies and Factory Automation (ETFA), pp. 1-9, 2014


I. Cibrario Bertolotti, L. Durante, T. Hu, A. Valenzano

A Model for the Analysis of Security Policies in Industrial Networks

1st Int. Symposium on ICS and SCADA Cyber Security (ICS-CSR), pp. 1-11, 2013


M. Cheminod, L. Durante, A. Valenzano

System Configuration Check Against Security Policies

7th IEEE Int. Symposium on Industrial Embedded Systems (SIES), pp. 247-256, 2012


M. Cheminod, I. Cibrario Bertolotti, L. Durante, A. Valenzano

Modeling Emergency Response Plans with Coloured Petri Nets

7th Int. Workshop on Critical Information Infrastructures Security (CRITIS), vol. 7722/2013 LNCS, pp. 106-117, 2012


I. Cibrario Bertolotti, L. Durante, T. Hu, A. Valenzano

A Unified Class Model for Checking Security Policies in ICT Infrastructures

1st IEEE-AESS Conference about Space and Satellite Telecommunications (ESTEL), pp. 1-6, 2012


M. Cheminod, I. Cibrario Bertolotti, L. Durante, A. Valenzano

Automatic Analysis of Security Policies in Industrial Networks

8th IEEE Int. Workshop on Factory Communication Systems (WFCS), pp. 109-118, 2010


M. Cheminod, I. Cibrario Bertolotti, L. Durante, A. Valenzano

On the Analysis of Vulnerability Chains in Industrial Networks

7th IEEE Int. Workshop on Factory Communication Systems (WFCS), pp. 215-224, 2008


M. Cheminod, I. Cibrario Bertolotti, L. Durante, R. Sisto, A. Valenzano

Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems

2nd Int. Conference on Dependability of Computer Systems (DEPCOS-RELCOMEX), pp. 11-18, 2007


M. Cheminod, I. Cibrario Bertolotti, L. Durante, R. Sisto, A. Valenzano

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

2nd Int. Conference on Dependability of Computer Systems (DEPCOS-RELCOMEX), pp. 153-160, 2007


M. Cheminod, I. Cibrario Bertolotti, L. Durante, R. Sisto, A. Valenzano

On the Use of Automatic Tools for the Formal Analysis of the IEEE 802.11 Key-Exchange Protocols

6th IEEE Int. Workshop on Factory Communication Systems (WFCS), pp. 273-282, 2006


D. Pozza, R. Sisto, L. Durante, A. Valenzano

Comparing Lexical Analysis Tools for Buffer Overflow Detection in Network Software

1st Int. Conference on Communication System Software and Middleware (COMSWARE), pp. 1-7, 2006


I. Cibrario Bertolotti, L. Durante, A. Valenzano, R. Sisto

Automatic Detection of Attacks on Cryptographic Protocols: A Case Study

2nd Int. Conference on Intrusion and Malware Detection and Vulnerability Assessment (DIMVA), vol. 3548/2005 LNCS, pp. 69-84, 2005


D. Pozza, R. Sisto, L. Durante

Spi2Java: Automatic Cryptographic Protocol Java Code Generation from Spi Calculus

High Honor Paper Award. 18th Int. Conference on Advanced Information Networking and Applications (AINA), pp. 400-405, 2004


I. Cibrario Bertolotti, L. Durante, R. sisto, A. Valenzano

Exploiting Symmetries for Testing Equivalence in the Spi Calculus

2nd Int. Conference on Automated Technology for Verification and Analysis (ATVA), vol. 3299/2004 LNCS, pp. 135-149, 2004


I. Cibrario Bertolotti, L. Durante, A. Valenzano, R. Sisto

Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis

23rd IFIP Int. Conference on Formal Techniques for Networked and Distributed Systems (FORTE), vol. 2767/2003 LNCS, pp. 224-239, 2003


I. Cibrario Bertolotti, L. Durante, A. Valenzano, R. Sisto

A New Knowledge Representation Strategy for Cryptographic Protocol Analysis

9th Int. Conference on Tools and Algorithms for the Construction andAnalysis of Systems (TACAS), vol. 2619/2003 LNCS, pp. 284-298, 2003


L. Durante, R. Sisto, A. Valenzano

A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification

IFIP TC6 WG6.1 Joint Int. Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) (FORTE/PSTV), pp. 155-170, 2000


L. Durante, R. Sisto, A. Valenzano

Graphic LOTOS Specification of an EN50254 System

WiP Proceedings of 3rd IEEE Int. Workshop on Factory Communication Systems (WFCS), pp. 43-46, 2000


L. Durante, R. Sisto, A. Valenzano

Dynamic Data Management in STEP

32nd Int. Conference on Automotive Mechatronics Design & Engineering (ISATA), pp. 231-238, 1999


L. Durante, R. Sisto, A. Valenzano

Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems

2nd IEEE Int. Workshop on Factory Communication Systems (WFCS), pp. 71-80, 1997


G. Cena, C. Demartini, L. Durante, A. Valenzano

An EXPRESS Model for the Description of Fieldbus Devices

2nd IEEE Int. Workshop on Factory Communication Systems (WFCS), pp. 81-90, 1997


G. Cena, C. Demartini, L. Durante

Real-Time Specifications and Object-Oriented Analysis

IEEE Int. Conference on Computational Engineering in Systems Applications - IMACS Multiconference (CESA), pp. 39-44, 1996


G. Cena, C. Demartini, L. Durante

Communication Service and Protocol Specification Using Object-Oriented Analysis

IEEE Int. Symposium on Industrial Electronics (ISIE), pp. 1043-1048, 1996


G. Cena, C. Demartini, L. Durante

Intelligent Actuation and Measurement System-Based Modelling: a Case Study

21th IEEE Int. Conference on Industrial Electronics, Control and Instrumentation (IECON), pp. 1608-1613, 1995


G. Cena, C. Demartini, L. Durante

Object-Oriented Models and Communication Protocols in the Factory

21th IEEE Int. Conference on Industrial Electronics, Control and Instrumentation (IECON), pp. 1573-1579, 1995


L. Durante, R. Sisto, A. Valenzano

Formal Specification and Verification of the Real-Time Scheduler in FIP

1st IEEE Int. Workshop on Factory Communication Systems (WFCS), pp. 99-106, 1995


G. Cena, L. Durante, R. Sisto, A. Valenzano

Comparison of Adaptive Fairness Control Mechanisms for DQDB Metropolitan Area Networks

14th IEEE Int. Phoenix Conference on Computers and Communications (IPCCC), pp. 205-211, 1995


G. Cena, C. Demartini, L. Durante, A. Valenzano

A FIP Prototype Network for Numerical Control Applications

20th IEEE Int.Conference on Industrial Electronics, Control and Instrumentation (IECON), pp. 1196-1199, 1994


G. Cena, C. Demartini, L. Durante

An Object-Oriented Model for the FIP Protocol

20th IEEE Int. Conference on Industrial Electronics, Control and Instrumentation (IECON), pp. 1214-1219, 1994


L. Durante, R. Sisto, A. Valenzano

A LOTOS Specification of the SERCOS Fieldbus Protocol

6th Int. Conference on Software Engineering and Knowledge Engineering (SEKE), pp. 139-147, 1994


G. Cena, C. Demartini, L. Durante, A. Valenzano

Utilizzazione dei Bus di Campo nelle Officine Meccaniche e nelle Macchine Utensili

Prospettive sulle Comunicazioni di Campo e nei Processi Continui e nei Processi Discreti (EXACTA). (in Italian), 1994


G. Cena, C. Demartini, L. Durante, A. Valenzano

Le Comunicazioni di Campo e la Normazione: le Soluzioni Proposte

Prospettive sulle Comunicazioni di Campo e nei Processi Continui e nei Processi Discreti (EXACTA). (in Italian), 1994


L. Durante, R. Sisto, A. Valenzano

A Static Semantic Analyzer for LOTOS Specifications

12th IEEE Int. Phoenix Conference on Computers and Communications (IPCCC), pp. 585-592, 1993


book chapters

G. Cena, L. Durante, A. Valenzano

Evolution of Standard Fieldbus Networks

Intelligent Systems and Robotics, George W. Zobrist and C. Y. Ho Editors, Gordon and Breach Science Publishers, pp. 278-339, 2000