default search action

combined dblp search
author search
venue search
publication search

ask others

Luca Durante

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2021
[j16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tifs/DuranteSV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tifs/DuranteSV21
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: 2637-2651 (2021)
2019
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/compsec/CheminodDSVV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/compsec/CheminodDSVV19
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: 186-199 (2019)
2018
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/CheminodDSV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/CheminodDSV18
Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano:
Performance Evaluation and Modeling of an Industrial Application-Layer Firewall. IEEE Trans. Ind. Informatics 14(5): 2159-2170 (2018)
2017
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/istr/CheminodDSV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/istr/CheminodDSV17
Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano:
Detection of attacks based on known vulnerabilities in industrial networked systems. J. Inf. Secur. Appl. 34: 153-165 (2017)
2015
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/csi/BertolottiDSV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csi/BertolottiDSV15
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: 171-181 (2015)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/CheminodDSV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/CheminodDSV15
Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano:
Semiautomated Verification of Access Control Implementation in Industrial Networked Systems. IEEE Trans. Ind. Informatics 11(6): 1388-1399 (2015)
2013
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/CheminodDV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/CheminodDV13
Manuel Cheminod, Luca Durante, Adriano Valenzano:
Review of Security Issues in Industrial Networks. IEEE Trans. Ind. Informatics 9(1): 277-293 (2013)
2009
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/csi/CheminodBDSV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csi/CheminodBDSV09
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): 954-961 (2009)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/CheminodBDMPSV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/CheminodBDMPSV09
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): 181-193 (2009)
2008
[j7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/BertolottiDSV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/BertolottiDSV08
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): 303-348 (2008)
2007
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/csi/BertolottiDMSV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csi/BertolottiDMSV07
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): 387-397 (2007)
2006
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/BertolottiDSV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/BertolottiDSV06
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): 815-832 (2006)
2003
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/DuranteSV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/DuranteSV03
Luca Durante, Riccardo Sisto, Adriano Valenzano:
Automatic testing equivalence verification of spi calculus specifications. ACM Trans. Softw. Eng. Methodol. 12(2): 222-284 (2003)
2001
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/csi/CenaDV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csi/CenaDV01
Gianluca Cena, Luca Durante, Adriano Valenzano:
A new CAN-like field network based on a star topology. Comput. Stand. Interfaces 23(3): 209-222 (2001)
1997
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/comcom/CenaDSV97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comcom/CenaDSV97
Gianluca Cena, Luca Durante, Riccardo Sisto, Adriano Valenzano:
Adaptive bandwidth balancing mechanisms for DQDB networks. Comput. Commun. 20(9): 804-819 (1997)
1994
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/iee/DuranteSV94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iee/DuranteSV94
Luca Durante, Riccardo Sisto, Adriano Valenzano:
Implementation of static semantic analysis of LOTOS specifications. Softw. Eng. J. 9(2): 55-66 (1994)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2022
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/cybersec4europe/CheminodD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cybersec4europe/CheminodD22
Manuel Cheminod, Luca Durante:
Distributed Filtering in Industrial Networks. CyberSec4Europe 2022: 80-93
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/CheminodBDSV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/CheminodBDSV22
Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Lucia Seno, Adriano Valenzano:
Open-source firewalls for industrial applications: a laboratory study of Linux IPFire behavior^*. IECON 2022: 1-6
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/wfcs/SenoCBDV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wfcs/SenoCBDV22
Lucia Seno, Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Adriano Valenzano:
Improving performance and cyber-attack resilience in multi-firewall industrial networks. WFCS 2022: 1-8
2021
[c27]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/itasec/CheminodDSV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itasec/CheminodDSV21
Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano:
An Algorithm for Security Policy Migration in Multiple Firewall Networks. ITASEC 2021: 344-359
2018
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/wfcs/CheminodDVV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wfcs/CheminodDVV18
Manuel Cheminod, Luca Durante, Fulvio Valenza, Adriano Valenzano:
Toward attribute-based access control policy in industrial networked systems. WFCS 2018: 1-9
2017
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/netsoft/DuranteSVV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netsoft/DuranteSVV17
Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano:
A model for the analysis of security policies in service function chains. NetSoft 2017: 1-6
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/wfcs/CheminodDSVV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wfcs/CheminodDSVV17
Manuel Cheminod, Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano:
Automated fixing of access policy implementation in Industrial Networked Systems. WFCS 2017: 1-9
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/wfcs/CheminodDSVVZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wfcs/CheminodDSVVZ17
Manuel Cheminod, Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano, Claudio Zunino:
Leveraging SDN to improve security in industrial networks. WFCS 2017: 1-7
2016
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/CheminodDVZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/CheminodDVZ16
Manuel Cheminod, Luca Durante, Adriano Valenzano, Claudio Zunino:
Performance impact of commercial industrial firewalls on networked control systems. ETFA 2016: 1-8
[c21]
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/ics-csr/CheminodDMVZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ics-csr/CheminodDMVZ16
Manuel Cheminod, Luca Durante, Marcello Maggiora, Adriano Valenzano, Claudio Zunino:
Performance of Firewalls for Industrial Applications. ICS-CSR 2016
2015
[c20]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ics-csr/CheminodDSV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ics-csr/CheminodDSV15
Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano:
Analysis of Exploitable Vulnerability Sequences in Industrial Networked Systems: A Proof of Concepts. ICS-CSR 2015
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/rtsi/CheminodDMSTV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtsi/CheminodDMSTV15
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: 411-418
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/sies/CheminodDSV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sies/CheminodDSV15
Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano:
Analysis of access control policies in networked embedded systems: A case study. SIES 2015: 69-78
2014
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/BallarinoBCBDHLNSSTVV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/BallarinoBCBDHLNSSTVV14
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: 1-6
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/CereiaBDV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/CereiaBDV14
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: 1-8
[c15]
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/ics-csr/CheminodDSV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ics-csr/CheminodDSV14
Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano:
Automated Analysis of Access Policies in Industrial Plants. ICS-CSR 2014
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/wfcs/CheminodDSV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wfcs/CheminodDSV14
Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano:
On the description of access control policies in networked industrial systems. WFCS 2014: 1-10
2013
[c13]
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/ics-csr/BertolottiDHV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ics-csr/BertolottiDHV13
Ivan Cibrario Bertolotti, Luca Durante, Tingting Hu, Adriano Valenzano:
A Model for the Analysis of Security Policies in Industrial Networks. ICS-CSR 2013
2012
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/critis/CheminodBDV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/critis/CheminodBDV12
Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Adriano Valenzano:
Modeling Emergency Response Plans with Coloured Petri Nets. CRITIS 2012: 106-117
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/sies/CheminodDV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sies/CheminodDV12
Manuel Cheminod, Luca Durante, Adriano Valenzano:
System configuration check against security policies in industrial networks. SIES 2012: 247-265
2007
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/depcos/CheminodBDSV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/depcos/CheminodBDSV07
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: 11-18
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/depcos/CheminodBDSV07a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/depcos/CheminodBDSV07a
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: 153-160
2006
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/comsware/PozzaSDV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/comsware/PozzaSDV06
Davide Pozza, Riccardo Sisto, Luca Durante, Adriano Valenzano:
Comparing lexical analysis tools for buffer overflow detection in network software. COMSWARE 2006: 1-7
2005
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/dimva/BertolottiDSV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dimva/BertolottiDSV05
Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano:
Automatic Detection of Attacks on Cryptographic Protocols: A Case Study. DIMVA 2005: 69-84
2004
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/aina/PozzaSD04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aina/PozzaSD04
Davide Pozza, Riccardo Sisto, Luca Durante:
Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus. AINA (1) 2004: 400-405
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BDSV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BDSV04
Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano:
Exploiting Symmetries for Testing Equivalence in the Spi Calculus. ATVA 2004: 135-149
2003
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/BertolottiDSV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BertolottiDSV03
Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano:
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis. FORTE 2003: 224-239
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/BDSV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BDSV03
Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano:
A New Knowledge Representation Strategy for Cryptographic Protocol Analysis. TACAS 2003: 284-298
2000
[c2]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/DuranteSV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/DuranteSV00
Luca Durante, Riccardo Sisto, Adriano Valenzano:
A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification. FORTE 2000: 155-170
1994
[c1]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/seke/DuranteSV94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/DuranteSV94
Luca Durante, Riccardo Sisto, Adriano Valenzano:
A LOTOS specification of the SERCOS field-bus protocol. SEKE 1994: 139-147

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2017
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1710-03486
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-03486
Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano:
A model for the analysis of security policies in service function chains. CoRR abs/1710.03486 (2017)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1710-03491
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-03491
Manuel Cheminod, Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano:
Automated fixing of access policy implementation in Industrial Networked Systems. CoRR abs/1710.03491 (2017)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.