Luca Durante

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