Fulvio Valenza

76 papers B 17C 5Misc 3Journal 38Unranked 11

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	GreenShield-E2C: A sustainable energy-aware firewall configuration mechanism for edge-to-cloud continuum. Comput. Networks Daniele Bringhenti, Fulvio Valenza
2026	J	`jnl`	Intent-Driven Network Isolation for the Cloud Computing Continuum. J. Netw. Syst. Manag. Francesco Pizzato, Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
2025	B	`conf`	A Demonstration of an Autonomous Approach for Cyberattack Mitigation. CNSM Francesco Pizzato, Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
2025	—	`conf`	A demonstration of a network isolation solution for the computing continuum. NFV-SDN Francesco Pizzato, Daniele Bringhenti, Luca Cetino, Riccardo Sisto, Fulvio Valenza
2025	B	`conf`	Adaptive, Agile and Automated Cybersecurity Management. NetSoft Gianmarco Bachiorrini, Daniele Bringhenti, Fulvio Valenza
2025	J	`jnl`	Atomizing Firewall Policies for Anomaly Analysis and Resolution. IEEE Trans. Dependable Secur. Comput. Daniele Bringhenti, Simone Bussa, Riccardo Sisto, Fulvio Valenza
2025	J	`jnl`	Automating VPN Configuration in Computer Networks. IEEE Trans. Dependable Secur. Comput. Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
2025	J	`jnl`	Autonomous Attack Mitigation Through Firewall Reconfiguration. Int. J. Netw. Manag. Daniele Bringhenti, Francesco Pizzato, Riccardo Sisto, Fulvio Valenza
2025	Misc	`conf`	Design and implementation of a tool to improve error reporting for eBPF code. CSR Rosario Rizza, Riccardo Sisto, Fulvio Valenza
2025	J	`jnl`	Formal verification of a V2X scheme mixing traditional PKI and group signatures. J. Inf. Secur. Appl. Simone Bussa, Riccardo Sisto, Fulvio Valenza
2025	B	`conf`	Toward the Optimization of Automated VPN Configuration. NetSoft Gianmarco Bachiorrini, Daniele Bringhenti, Fulvio Valenza
2024	Misc	`conf`	A Looping Process for Cyberattack Mitigation. CSR Daniele Bringhenti, Francesco Pizzato, Riccardo Sisto, Fulvio Valenza
2024	J	`jnl`	A Two-Fold Traffic Flow Model for Network Security Management. IEEE Trans. Netw. Serv. Manag. Daniele Bringhenti, Simone Bussa, Riccardo Sisto, Fulvio Valenza
2024	B	`conf`	An intent-based solution for network isolation in Kubernetes. NetSoft Francesco Pizzato, Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
2024	B	`conf`	Automatic and optimized firewall reconfiguration. NOMS Francesco Pizzato, Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
2024	J	`jnl`	Automation for Network Security Configuration: State of the Art and Research Trends. ACM Comput. Surv. Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza
2024	J	`jnl`	GreenShield: Optimizing Firewall Configuration for Sustainable Networks. IEEE Trans. Netw. Serv. Manag. Daniele Bringhenti, Fulvio Valenza
2024	B	`conf`	Security Automation in next-generation Networks and Cloud environments. NOMS Francesco Pizzato, Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
2023	J	`jnl`	A Hybrid Threat Model for Smart Systems. IEEE Trans. Dependable Secur. Comput. Fulvio Valenza, Erisa Karafili, Rodrigo Vieira Steiner, Emil C. Lupu
2023	B	`conf`	A demonstration of VEREFOO: an automated framework for virtual firewall configuration. NetSoft Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
2023	J	`jnl`	A novel abstraction for security configuration in virtual networks. Comput. Networks Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
2023	J	`jnl`	An Optimized Approach for Assisted Firewall Anomaly Resolution. IEEE Access Daniele Bringhenti, Lucia Seno, Fulvio Valenza
2023	J	`jnl`	Automated Firewall Configuration in Virtual Networks. IEEE Trans. Dependable Secur. Comput. Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov
2023	B	`conf`	Automating the configuration of firewalls and channel protection systems in virtual networks. NetSoft Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
2023	Misc	`conf`	Formal Verification of a V2X Privacy Preserving Scheme Using Proverif. CSR Simone Bussa, Riccardo Sisto, Fulvio Valenza
2023	—	`conf`	Formal Verification of the FDO Protocol. CSCN Simone Bussa, Riccardo Sisto, Fulvio Valenza
2023	—	`ch.`	Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols. Handb. Formal Anal. Verification Cryptogr. Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov
2023	B	`conf`	Security automation for multi-cluster orchestration in Kubernetes. NetSoft Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
2023	B	`conf`	Towards Security Automation in Virtual Networks. NetSoft Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
2022	J	`jnl`	A Twofold Model for VNF Embedding and Time-Sensitive Network Flow Scheduling. IEEE Access Daniele Bringhenti, Fulvio Valenza
2022	J	`jnl`	Automatic, verifiable and optimized policy-based security enforcement for SDN-aware IoT networks. Comput. Networks Daniele Bringhenti, Jalolliddin Yusupov, Alejandro Molina Zarca, Fulvio Valenza, Riccardo Sisto, Jorge Bernal Bernabé, Antonio F. Skarmeta
2022	J	`jnl`	Guest Editors Introduction: Special Section on Recent Advances in Network Security Management. IEEE Trans. Netw. Serv. Manag. Rémi Badonnel, Carol J. Fung, Sandra Scott-Hayward, Qi Li, Fulvio Valenza, Cristian Hesselman
2022	—	`conf`	Next Generation of Hybrid Threats. EICC Fulvio Valenza
2022	J	`jnl`	Optimizing distributed firewall reconfiguration transients. Comput. Networks Daniele Bringhenti, Fulvio Valenza
2022	B	`conf`	Security Automation using Traffic Flow Modeling. NetSoft Simone Bussa, Riccardo Sisto, Fulvio Valenza
2022	J	`jnl`	Toward Cybersecurity Personalization in Smart Homes. IEEE Secur. Priv. Daniele Bringhenti, Fulvio Valenza, Cataldo Basile
2021	J	`jnl`	A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks. IEEE Trans. Ind. Informatics Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov, Adlen Ksentini
2021	B	`conf`	A novel approach for security function graph configuration and deployment. NetSoft Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza
2021	J	`jnl`	Guest editorial: Special issue on novel cyber-security paradigms for software-defined and virtualized systems. Comput. Networks Fulvio Valenza, Matteo Repetto, Stavros Shiaeles
2021	J	`jnl`	Improving the Formal Verification of Reachability Policies in Virtualized Networks. IEEE Trans. Netw. Serv. Manag. Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Serena Spinoso, Fulvio Valenza, Jalolliddin Yusupov
2020	J	`jnl`	An Optimized Firewall Anomaly Resolution. J. Internet Serv. Inf. Secur. Fulvio Valenza, Manuel Cheminod
2020	B	`conf`	Automated optimal firewall orchestration and configuration in virtualized networks. NOMS Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov
2020	—	`conf`	Automatic Firewalls' Configuration Using Argumentation Reasoning. ETAA@ESORICS Erisa Karafili, Fulvio Valenza
2020	B	`conf`	Introducing programmability and automation in the synthesis of virtual firewall rules. NetSoft Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov
2020	J	`jnl`	Protecting In-Vehicle Services: Security-Enabled SOME/IP Middleware. IEEE Veh. Technol. Mag. Marco Iorio, Alberto Buttiglieri, Massimo Reineri, Fulvio Risso, Riccardo Sisto, Fulvio Valenza
2020	J	`jnl`	Securing SOME/IP for In-Vehicle Service Protection. IEEE Trans. Veh. Technol. Marco Iorio, Massimo Reineri, Fulvio Risso, Riccardo Sisto, Fulvio Valenza
2020	—	`conf`	Short Paper: Automatic Configuration for an Optimal Channel Protection in Virtualized Networks. CYSARM@CCS Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza
2020	B	`conf`	Towards a Framework for Automatic Firewalls Configuration via Argumentation Reasoning. NOMS Erisa Karafili, Fulvio Valenza, Yichen Chen, Emil C. Lupu
2020	C	`conf`	Work-in-Progress: A Formal Approach to Verify Fault Tolerance in Industrial Network Systems. WFCS Alessio Sacco, Guido Marchetto, Riccardo Sisto, Fulvio Valenza
2019	J	`jnl`	A Framework for Verification-Oriented User-Friendly Network Function Modeling. IEEE Access Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov
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
2019	J	`jnl`	Adding Support for Automatic Enforcement of Security Policies in NFV Networks. IEEE/ACM Trans. Netw. Cataldo Basile, Fulvio Valenza, Antonio Lioy, Diego R. López, Antonio Pastor Perales
2019	—	`conf`	Automated Security Management for Virtual Services. NFV-SDN Matteo Repetto, Alessandro Carrega, Jalolliddin Yusupov, Fulvio Valenza, Fulvio Risso, Guerino Lamanna
2019	J	`jnl`	Formally specifying and checking policies and anomalies in service function chaining. J. Netw. Comput. Appl. Fulvio Valenza, Serena Spinoso, Riccardo Sisto
2019	—	`conf`	Towards a fully automated and optimized network security functions orchestration. ICCCS Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov
2019	J	`jnl`	Towards an Efficient Management and Orchestration Framework for Virtual Network Security Functions. Secur. Commun. Networks Ignazio Pedone, Antonio Lioy, Fulvio Valenza
2018	J	`jnl`	On the impossibility of effectively using likely-invariants for software attestation purposes. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. Alessio Viticchié, Cataldo Basile, Fulvio Valenza, Antonio Lioy
2018	C	`conf`	Toward attribute-based access control policy in industrial networked systems. WFCS Manuel Cheminod, Luca Durante, Fulvio Valenza, Adriano Valenzano
2018	J	`jnl`	User-oriented Network Security Policy Specification. J. Internet Serv. Inf. Secur. Fulvio Valenza, Antonio Lioy
2017	J	`jnl`	A formal approach for network security policy validation. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. Fulvio Valenza, Tao Su, Serena Spinoso, Antonio Lioy, Riccardo Sisto, Marco Vallini
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	J	`jnl`	Assessing network authorization policies via reachability analysis. Comput. Electr. Eng. Cataldo Basile, Daniele Canavese, Christian Pitscheider, Antonio Lioy, Fulvio Valenza
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`	Classification and Analysis of Communication Protection Policy Anomalies. CoRR Fulvio Valenza, Cataldo Basile, Daniele Canavese, Antonio Lioy
2017	J	`jnl`	Classification and Analysis of Communication Protection Policy Anomalies. IEEE/ACM Trans. Netw. Fulvio Valenza, Cataldo Basile, Daniele Canavese, Antonio Lioy
2017	C	`conf`	Leveraging SDN to improve security in industrial networks. WFCS Manuel Cheminod, Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano, Claudio Zunino
2017	—	`—`	Modelling and Analysis of Network Security Policies. Fulvio Valenza
2016	J	`jnl`	Inter-function anomaly analysis for correct SDN/NFV deployment. Int. J. Netw. Manag. Cataldo Basile, Daniele Canavese, Antonio Lioy, Christian Pitscheider, Fulvio Valenza
2016	—	`conf`	Online and Offline Security Policy Assessment. MIST@CCS Fulvio Valenza, Marco Vallini, Antonio Lioy
2015	—	`conf`	A formal model of network policy analysis. RTSI Fulvio Valenza, Serena Spinoso, Cataldo Basile, Riccardo Sisto, Antonio Lioy
2015	B	`conf`	A novel approach for integrating security policy enforcement with dynamic network virtualization. NetSoft Cataldo Basile, Antonio Lioy, Christian Pitscheider, Fulvio Valenza, Marco Vallini
2015	—	`conf`	Automatic Discovery of Software Attacks via Backward Reasoning. SPRO@ICSE Cataldo Basile, Daniele Canavese, Jérôme d'Annoville, Bjorn De Sutter, Fulvio Valenza
2015	—	`conf`	Towards the Dynamic Provision of Virtualized Security Services. CSP Forum Cataldo Basile, Christian Pitscheider, Fulvio Risso, Fulvio Valenza, Marco Vallini
2014	C	`conf`	Inter-technology Conflict Analysis for Communication Protection Policies. CRiSIS Cataldo Basile, Daniele Canavese, Antonio Lioy, Fulvio Valenza