Fulvio Valenza

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 55

Top Topics

Security Policies

Network Security

Formal Verification

Reachability Analysis

Top Venues

Comput. Networks

Publications

Francesco Pizzato, Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
Automatic and optimized firewall reconfiguration. NOMS (2024)
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) (2024)
Francesco Pizzato, Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
An intent-based solution for network isolation in Kubernetes. NetSoft (2024)
Francesco Pizzato, Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
Security Automation in next-generation Networks and Cloud environments. NOMS (2024)
Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
Towards Security Automation in Virtual Networks. NetSoft (2023)
Simone Bussa, Riccardo Sisto, Fulvio Valenza
Formal Verification of a V2X Privacy Preserving Scheme Using Proverif. CSR (2023)
Fulvio Valenza, Erisa Karafili, Rodrigo Vieira Steiner, Emil C. Lupu
A Hybrid Threat Model for Smart Systems. IEEE Trans. Dependable Secur. Comput. 20 (5) (2023)
Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
Security automation for multi-cluster orchestration in Kubernetes. NetSoft (2023)
Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov
Automated Firewall Configuration in Virtual Networks. IEEE Trans. Dependable Secur. Comput. 20 (2) (2023)
Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
A novel abstraction for security configuration in virtual networks. Comput. Networks 228 (2023)
Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
Automating the configuration of firewalls and channel protection systems in virtual networks. NetSoft (2023)
Daniele Bringhenti, Lucia Seno, Fulvio Valenza
An Optimized Approach for Assisted Firewall Anomaly Resolution. IEEE Access 11 (2023)
Simone Bussa, Riccardo Sisto, Fulvio Valenza
Formal Verification of the FDO Protocol. CSCN (2023)
Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
A demonstration of VEREFOO: an automated framework for virtual firewall configuration. NetSoft (2023)
Daniele Bringhenti, Fulvio Valenza
Optimizing distributed firewall reconfiguration transients. Comput. Networks 215 (2022)
Simone Bussa, Riccardo Sisto, Fulvio Valenza
Security Automation using Traffic Flow Modeling. NetSoft (2022)
Fulvio Valenza
Next Generation of Hybrid Threats. EICC (2022)
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) (2022)
Daniele Bringhenti, Fulvio Valenza
A Twofold Model for VNF Embedding and Time-Sensitive Network Flow Scheduling. IEEE Access 10 (2022)
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 (2022)
Daniele Bringhenti, Fulvio Valenza, Cataldo Basile
Toward Cybersecurity Personalization in Smart Homes. IEEE Secur. Priv. 20 (1) (2022)
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) (2021)
Fulvio Valenza, Matteo Repetto, Stavros Shiaeles
Guest editorial: Special issue on novel cyber-security paradigms for software-defined and virtualized systems. Comput. Networks 193 (2021)
Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza
A novel approach for security function graph configuration and deployment. NetSoft (2021)
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) (2021)
Marco Iorio, Massimo Reineri, Fulvio Risso, Riccardo Sisto, Fulvio Valenza
Securing SOME/IP for In-Vehicle Service Protection. IEEE Trans. Veh. Technol. 69 (11) (2020)
Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov
Automated optimal firewall orchestration and configuration in virtualized networks. NOMS (2020)
Alessio Sacco, Guido Marchetto, Riccardo Sisto, Fulvio Valenza
Work-in-Progress: A Formal Approach to Verify Fault Tolerance in Industrial Network Systems. WFCS (2020)
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) (2020)
Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov
Introducing programmability and automation in the synthesis of virtual firewall rules. NetSoft (2020)
Fulvio Valenza, Manuel Cheminod
An Optimized Firewall Anomaly Resolution. J. Internet Serv. Inf. Secur. 10 (1) (2020)
Erisa Karafili, Fulvio Valenza, Yichen Chen, Emil C. Lupu
Towards a Framework for Automatic Firewalls Configuration via Argumentation Reasoning. NOMS (2020)
Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza
Short Paper: Automatic Configuration for an Optimal Channel Protection in Virtualized Networks. CYSARM@CCS (2020)
Erisa Karafili, Fulvio Valenza
Automatic Firewalls' Configuration Using Argumentation Reasoning. ETAA@ESORICS (2020)
Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov
Towards a fully automated and optimized network security functions orchestration. ICCCS (2019)
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)
Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov
A Framework for Verification-Oriented User-Friendly Network Function Modeling. IEEE Access 7 (2019)
Fulvio Valenza, Serena Spinoso, Riccardo Sisto
Formally specifying and checking policies and anomalies in service function chaining. J. Netw. Comput. Appl. 146 (2019)
Matteo Repetto, Alessandro Carrega, Jalolliddin Yusupov, Fulvio Valenza, Fulvio Risso, Guerino Lamanna
Automated Security Management for Virtual Services. NFV-SDN (2019)
Ignazio Pedone, Antonio Lioy, Fulvio Valenza
Towards an Efficient Management and Orchestration Framework for Virtual Network Security Functions. Secur. Commun. Networks 2019 (2019)
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) (2019)
Fulvio Valenza, Antonio Lioy
User-oriented Network Security Policy Specification. J. Internet Serv. Inf. Secur. 8 (2) (2018)
Manuel Cheminod, Luca Durante, Fulvio Valenza, Adriano Valenzano
Toward attribute-based access control policy in industrial networked systems. WFCS (2018)
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) (2018)
Fulvio Valenza, Cataldo Basile, Daniele Canavese, Antonio Lioy
Classification and Analysis of Communication Protection Policy Anomalies. CoRR (2017)
Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano
A model for the analysis of security policies in service function chains. NetSoft (2017)
Fulvio Valenza, Cataldo Basile, Daniele Canavese, Antonio Lioy
Classification and Analysis of Communication Protection Policy Anomalies. IEEE/ACM Trans. Netw. 25 (5) (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)
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) (2017)
Cataldo Basile, Daniele Canavese, Christian Pitscheider, Antonio Lioy, Fulvio Valenza
Assessing network authorization policies via reachability analysis. Comput. Electr. Eng. 64 (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, Fulvio Valenza, Adriano Valenzano
Automated fixing of access policy implementation in Industrial Networked Systems. CoRR (2017)
Fulvio Valenza, Marco Vallini, Antonio Lioy
Online and Offline Security Policy Assessment. MIST@CCS (2016)
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) (2016)
Fulvio Valenza, Serena Spinoso, Cataldo Basile, Riccardo Sisto, Antonio Lioy
A formal model of network policy analysis. RTSI (2015)
Cataldo Basile, Antonio Lioy, Christian Pitscheider, Fulvio Valenza, Marco Vallini
A novel approach for integrating security policy enforcement with dynamic network virtualization. NetSoft (2015)
Cataldo Basile, Christian Pitscheider, Fulvio Risso, Fulvio Valenza, Marco Vallini
Towards the Dynamic Provision of Virtualized Security Services. CSP Forum (2015)
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)
Cataldo Basile, Daniele Canavese, Antonio Lioy, Fulvio Valenza
Inter-technology Conflict Analysis for Communication Protection Policies. CRiSIS (2014)