![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Fulvio Valenza
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j27]Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza
:
Automation for Network Security Configuration: State of the Art and Research Trends. ACM Comput. Surv. 56(3): 57:1-57:37 (2024) - [c30]Francesco Pizzato, Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza:
An intent-based solution for network isolation in Kubernetes. NetSoft 2024: 381-386 - [c29]Francesco Pizzato, Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza:
Automatic and optimized firewall reconfiguration. NOMS 2024: 1-9 - [c28]Francesco Pizzato, Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza:
Security Automation in next-generation Networks and Cloud environments. NOMS 2024: 1-4 - 2023
- [j26]Daniele Bringhenti
, Lucia Seno
, Fulvio Valenza
:
An Optimized Approach for Assisted Firewall Anomaly Resolution. IEEE Access 11: 119693-119710 (2023) - [j25]Daniele Bringhenti
, Riccardo Sisto, Fulvio Valenza
:
A novel abstraction for security configuration in virtual networks. Comput. Networks 228: 109745 (2023) - [j24]Daniele Bringhenti
, Guido Marchetto
, Riccardo Sisto
, Fulvio Valenza
, Jalolliddin Yusupov
:
Automated Firewall Configuration in Virtual Networks. IEEE Trans. Dependable Secur. Comput. 20(2): 1559-1576 (2023) - [j23]Fulvio Valenza
, Erisa Karafili
, Rodrigo Vieira Steiner, Emil C. Lupu
:
A Hybrid Threat Model for Smart Systems. IEEE Trans. Dependable Secur. Comput. 20(5): 4403-4417 (2023) - [c27]Simone Bussa, Riccardo Sisto, Fulvio Valenza
:
Formal Verification of the FDO Protocol. CSCN 2023: 290-295 - [c26]Simone Bussa, Riccardo Sisto, Fulvio Valenza
:
Formal Verification of a V2X Privacy Preserving Scheme Using Proverif. CSR 2023: 341-346 - [c25]Daniele Bringhenti
, Riccardo Sisto, Fulvio Valenza
:
A demonstration of VEREFOO: an automated framework for virtual firewall configuration. NetSoft 2023: 293-295 - [c24]Daniele Bringhenti
, Riccardo Sisto, Fulvio Valenza
:
Towards Security Automation in Virtual Networks. NetSoft 2023: 326-331 - [c23]Daniele Bringhenti
, Riccardo Sisto, Fulvio Valenza
:
Automating the configuration of firewalls and channel protection systems in virtual networks. NetSoft 2023: 474-479 - [c22]Daniele Bringhenti
, Riccardo Sisto, Fulvio Valenza
:
Security automation for multi-cluster orchestration in Kubernetes. NetSoft 2023: 480-485 - [p1]Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov:
Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols. Handb. Formal Anal. Verification Cryptogr. 2023: 57-104 - 2022
- [j22]Daniele Bringhenti
, Fulvio Valenza
:
A Twofold Model for VNF Embedding and Time-Sensitive Network Flow Scheduling. IEEE Access 10: 44384-44399 (2022) - [j21]Daniele Bringhenti
, Jalolliddin Yusupov, Alejandro Molina Zarca, Fulvio Valenza
, Riccardo Sisto
, Jorge Bernal Bernabé, Antonio F. Skarmeta:
Automatic, verifiable and optimized policy-based security enforcement for SDN-aware IoT networks. Comput. Networks 213: 109123 (2022) - [j20]Daniele Bringhenti
, Fulvio Valenza
:
Optimizing distributed firewall reconfiguration transients. Comput. Networks 215: 109183 (2022) - [j19]Daniele Bringhenti
, Fulvio Valenza
, Cataldo Basile
:
Toward Cybersecurity Personalization in Smart Homes. IEEE Secur. Priv. 20(1): 45-53 (2022) - [j18]Rémi Badonnel
, Carol J. Fung, Sandra Scott-Hayward, Qi Li, Fulvio Valenza
, Cristian Hesselman:
Guest Editors Introduction: Special Section on Recent Advances in Network Security Management. IEEE Trans. Netw. Serv. Manag. 19(3): 2251-2254 (2022) - [c21]Fulvio Valenza:
Next Generation of Hybrid Threats. EICC 2022: 114 - [c20]Simone Bussa, Riccardo Sisto, Fulvio Valenza
:
Security Automation using Traffic Flow Modeling. NetSoft 2022: 486-491 - 2021
- [j17]Fulvio Valenza
, Matteo Repetto, Stavros Shiaeles
:
Guest editorial: Special issue on novel cyber-security paradigms for software-defined and virtualized systems. Comput. Networks 193: 108126 (2021) - [j16]Guido Marchetto
, Riccardo Sisto
, Fulvio Valenza
, Jalolliddin Yusupov
, Adlen Ksentini
:
A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks. IEEE Trans. Ind. Informatics 17(2): 1515-1525 (2021) - [j15]Daniele Bringhenti
, Guido Marchetto
, Riccardo Sisto
, Serena Spinoso
, Fulvio Valenza
, Jalolliddin Yusupov
:
Improving the Formal Verification of Reachability Policies in Virtualized Networks. IEEE Trans. Netw. Serv. Manag. 18(1): 713-728 (2021) - [c19]Daniele Bringhenti
, Guido Marchetto, Riccardo Sisto, Fulvio Valenza
:
A novel approach for security function graph configuration and deployment. NetSoft 2021: 457-463 - 2020
- [j14]Fulvio Valenza
, Manuel Cheminod:
An Optimized Firewall Anomaly Resolution. J. Internet Serv. Inf. Secur. 10(1): 22-37 (2020) - [j13]Marco Iorio
, Massimo Reineri, Fulvio Risso
, Riccardo Sisto
, Fulvio Valenza
:
Securing SOME/IP for In-Vehicle Service Protection. IEEE Trans. Veh. Technol. 69(11): 13450-13466 (2020) - [j12]Marco Iorio
, Alberto Buttiglieri, Massimo Reineri, Fulvio Risso
, Riccardo Sisto
, Fulvio Valenza
:
Protecting In-Vehicle Services: Security-Enabled SOME/IP Middleware. IEEE Veh. Technol. Mag. 15(3): 77-85 (2020) - [c18]Daniele Bringhenti
, Guido Marchetto, Riccardo Sisto, Fulvio Valenza
:
Short Paper: Automatic Configuration for an Optimal Channel Protection in Virtualized Networks. CYSARM@CCS 2020: 25-30 - [c17]Erisa Karafili
, Fulvio Valenza
:
Automatic Firewalls' Configuration Using Argumentation Reasoning. ETAA@ESORICS 2020: 124-140 - [c16]Daniele Bringhenti
, Guido Marchetto, Riccardo Sisto, Fulvio Valenza
, Jalolliddin Yusupov
:
Introducing programmability and automation in the synthesis of virtual firewall rules. NetSoft 2020: 473-478 - [c15]Daniele Bringhenti
, Guido Marchetto, Riccardo Sisto, Fulvio Valenza
, Jalolliddin Yusupov
:
Automated optimal firewall orchestration and configuration in virtualized networks. NOMS 2020: 1-7 - [c14]Erisa Karafili, Fulvio Valenza
, Yichen Chen, Emil C. Lupu:
Towards a Framework for Automatic Firewalls Configuration via Argumentation Reasoning. NOMS 2020: 1-4 - [c13]Alessio Sacco, Guido Marchetto, Riccardo Sisto, Fulvio Valenza
:
Work-in-Progress: A Formal Approach to Verify Fault Tolerance in Industrial Network Systems. WFCS 2020: 1-4
2010 – 2019
- 2019
- [j11]Guido Marchetto
, Riccardo Sisto, Fulvio Valenza
, Jalolliddin Yusupov
:
A Framework for Verification-Oriented User-Friendly Network Function Modeling. IEEE Access 7: 99349-99359 (2019) - [j10]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) - [j9]Fulvio Valenza
, Serena Spinoso, Riccardo Sisto:
Formally specifying and checking policies and anomalies in service function chaining. J. Netw. Comput. Appl. 146 (2019) - [j8]Ignazio Pedone
, Antonio Lioy, Fulvio Valenza
:
Towards an Efficient Management and Orchestration Framework for Virtual Network Security Functions. Secur. Commun. Networks 2019: 2425983:1-2425983:11 (2019) - [j7]Cataldo Basile
, Fulvio Valenza
, Antonio Lioy
, Diego R. López
, Antonio Pastor Perales
:
Adding Support for Automatic Enforcement of Security Policies in NFV Networks. IEEE/ACM Trans. Netw. 27(2): 707-720 (2019) - [c12]Daniele Bringhenti
, Guido Marchetto, Riccardo Sisto, Fulvio Valenza
, Jalolliddin Yusupov
:
Towards a fully automated and optimized network security functions orchestration. ICCCS 2019: 1-7 - [c11]Matteo Repetto, Alessandro Carrega
, Jalolliddin Yusupov
, Fulvio Valenza
, Fulvio Risso, Guerino Lamanna:
Automated Security Management for Virtual Services. NFV-SDN 2019: 1-2 - 2018
- [j6]Fulvio Valenza
, Antonio Lioy:
User-oriented Network Security Policy Specification. J. Internet Serv. Inf. Secur. 8(2): 33-47 (2018) - [j5]Alessio Viticchié, Cataldo Basile, Fulvio Valenza
, Antonio Lioy:
On the impossibility of effectively using likely-invariants for software attestation purposes. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 9(2): 1-25 (2018) - [c10]Manuel Cheminod, Luca Durante
, Fulvio Valenza
, Adriano Valenzano:
Toward attribute-based access control policy in industrial networked systems. WFCS 2018: 1-9 - 2017
- [b1]Fulvio Valenza:
Modelling and Analysis of Network Security Policies. Polytechnic University of Turin, Italy, 2017 - [j4]Cataldo Basile
, Daniele Canavese
, Christian Pitscheider, Antonio Lioy
, Fulvio Valenza
:
Assessing network authorization policies via reachability analysis. Comput. Electr. Eng. 64: 110-131 (2017) - [j3]Fulvio Valenza
, Tao Su, Serena Spinoso, Antonio Lioy, Riccardo Sisto, Marco Vallini:
A formal approach for network security policy validation. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 8(1): 79-100 (2017) - [j2]Fulvio Valenza
, Cataldo Basile
, Daniele Canavese
, Antonio Lioy
:
Classification and Analysis of Communication Protection Policy Anomalies. IEEE/ACM Trans. Netw. 25(5): 2601-2614 (2017) - [c9]Luca Durante
, Lucia Seno, Fulvio Valenza
, Adriano Valenzano:
A model for the analysis of security policies in service function chains. NetSoft 2017: 1-6 - [c8]Manuel Cheminod, Luca Durante
, Lucia Seno, Fulvio Valenza
, Adriano Valenzano:
Automated fixing of access policy implementation in Industrial Networked Systems. WFCS 2017: 1-9 - [c7]Manuel Cheminod, Luca Durante
, Lucia Seno, Fulvio Valenza
, Adriano Valenzano, Claudio Zunino:
Leveraging SDN to improve security in industrial networks. WFCS 2017: 1-7 - [i3]Fulvio Valenza, Cataldo Basile, Daniele Canavese, Antonio Lioy:
Classification and Analysis of Communication Protection Policy Anomalies. CoRR abs/1708.02175 (2017) - [i2]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]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) - 2016
- [j1]Cataldo Basile
, Daniele Canavese
, Antonio Lioy
, Christian Pitscheider, Fulvio Valenza
:
Inter-function anomaly analysis for correct SDN/NFV deployment. Int. J. Netw. Manag. 26(1): 25-43 (2016) - [c6]Fulvio Valenza, Marco Vallini, Antonio Lioy:
Online and Offline Security Policy Assessment. MIST@CCS 2016: 101-104 - 2015
- [c5]Cataldo Basile
, Christian Pitscheider, Fulvio Risso
, Fulvio Valenza
, Marco Vallini:
Towards the Dynamic Provision of Virtualized Security Services. CSP Forum 2015: 65-76 - [c4]Cataldo Basile
, Daniele Canavese
, Jérôme d'Annoville, Bjorn De Sutter, Fulvio Valenza
:
Automatic Discovery of Software Attacks via Backward Reasoning. SPRO@ICSE 2015: 52-58 - [c3]Cataldo Basile
, Antonio Lioy
, Christian Pitscheider, Fulvio Valenza
, Marco Vallini:
A novel approach for integrating security policy enforcement with dynamic network virtualization. NetSoft 2015: 1-5 - [c2]Fulvio Valenza
, Serena Spinoso, Cataldo Basile
, Riccardo Sisto, Antonio Lioy
:
A formal model of network policy analysis. RTSI 2015: 516-522 - 2014
- [c1]Cataldo Basile
, Daniele Canavese
, Antonio Lioy
, Fulvio Valenza
:
Inter-technology Conflict Analysis for Communication Protection Policies. CRiSIS 2014: 148-163
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint