Towards a fully automated and optimized network security functions orchestration. - Daniele Bringhenti; Guido Marchetto; Riccardo Sisto; Fulvio Valenza; Jalolliddin Yusupov (ICCCS, 2019)

Short Paper: Automatic Configuration for an Optimal Channel Protection in Virtualized Networks. - Daniele Bringhenti; Guido Marchetto; Riccardo Sisto; Fulvio Valenza (CYSARM@CCS, 2020)

Introducing programmability and automation in the synthesis of virtual firewall rules. - Daniele Bringhenti; Guido Marchetto; Riccardo Sisto; Fulvio Valenza; Jalolliddin Yusupov (NetSoft, 2020)

Automated optimal firewall orchestration and configuration in virtualized networks. - Daniele Bringhenti; Guido Marchetto; Riccardo Sisto; Fulvio Valenza; Jalolliddin Yusupov (NOMS, 2020)

A novel approach for security function graph configuration and deployment. - Daniele Bringhenti; Guido Marchetto; Riccardo Sisto; Fulvio Valenza (NetSoft, 2021)

Improving the Formal Verification of Reachability Policies in Virtualized Networks. - Daniele Bringhenti; Guido Marchetto; Riccardo Sisto; Serena Spinoso; Fulvio Valenza; Jalolliddin Yusupov (IEEE Trans. Netw. Serv. Manag., 2021)

A Twofold Model for VNF Embedding and Time-Sensitive Network Flow Scheduling. - Daniele Bringhenti; Fulvio Valenza (IEEE Access, 2022)

Optimizing distributed firewall reconfiguration transients. - Daniele Bringhenti; Fulvio Valenza (Comput. Networks, 2022)

Automatic, verifiable and optimized policy-based security enforcement for SDN-aware IoT networks. - Daniele Bringhenti; Jalolliddin Yusupov; Alejandro Molina Zarca; Fulvio Valenza; Riccardo Sisto; Jorge Bernal Bernabé; Antonio F. Skarmeta (Comput. Networks, 2022)

Toward Cybersecurity Personalization in Smart Homes. - Daniele Bringhenti; Fulvio Valenza; Cataldo Basile (IEEE Secur. Priv., 2022)

Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols. - Daniele Bringhenti; Riccardo Sisto; Fulvio Valenza; Jalolliddin Yusupov (Handb. Formal Anal. Verification Cryptogr., 2023)

A demonstration of VEREFOO: an automated framework for virtual firewall configuration. - Daniele Bringhenti; Riccardo Sisto; Fulvio Valenza (NetSoft, 2023)

Towards Security Automation in Virtual Networks. - Daniele Bringhenti; Riccardo Sisto; Fulvio Valenza (NetSoft, 2023)

Automating the configuration of firewalls and channel protection systems in virtual networks. - Daniele Bringhenti; Riccardo Sisto; Fulvio Valenza (NetSoft, 2023)

Security automation for multi-cluster orchestration in Kubernetes. - Daniele Bringhenti; Riccardo Sisto; Fulvio Valenza (NetSoft, 2023)

An Optimized Approach for Assisted Firewall Anomaly Resolution. - Daniele Bringhenti; Lucia Seno; Fulvio Valenza (IEEE Access, 2023)

Automated Firewall Configuration in Virtual Networks. - Daniele Bringhenti; Guido Marchetto; Riccardo Sisto; Fulvio Valenza; Jalolliddin Yusupov (IEEE Trans. Dependable Secur. Comput., 2023)

A novel abstraction for security configuration in virtual networks. - Daniele Bringhenti; Riccardo Sisto; Fulvio Valenza (Comput. Networks, 2023)

A Looping Process for Cyberattack Mitigation. - Daniele Bringhenti; Francesco Pizzato; Riccardo Sisto; Fulvio Valenza (CSR, 2024)

An intent-based solution for network isolation in Kubernetes. - Francesco Pizzato; Daniele Bringhenti; Riccardo Sisto; Fulvio Valenza (NetSoft, 2024)

Automatic and optimized firewall reconfiguration. - Francesco Pizzato; Daniele Bringhenti; Riccardo Sisto; Fulvio Valenza (NOMS, 2024)

Security Automation in next-generation Networks and Cloud environments. - Francesco Pizzato; Daniele Bringhenti; Riccardo Sisto; Fulvio Valenza (NOMS, 2024)

Automation for Network Security Configuration: State of the Art and Research Trends. - Daniele Bringhenti; Guido Marchetto; Riccardo Sisto; Fulvio Valenza (ACM Comput. Surv., 2024)

A Two-Fold Traffic Flow Model for Network Security Management. - Daniele Bringhenti; Simone Bussa; Riccardo Sisto; Fulvio Valenza (IEEE Trans. Netw. Serv. Manag., 2024)

GreenShield: Optimizing Firewall Configuration for Sustainable Networks. - Daniele Bringhenti; Fulvio Valenza (IEEE Trans. Netw. Serv. Manag., 2024)

Adaptive, Agile and Automated Cybersecurity Management. - Gianmarco Bachiorrini; Daniele Bringhenti; Fulvio Valenza (NetSoft, 2025)

Toward the Optimization of Automated VPN Configuration. - Gianmarco Bachiorrini; Daniele Bringhenti; Fulvio Valenza (NetSoft, 2025)

Atomizing Firewall Policies for Anomaly Analysis and Resolution. - Daniele Bringhenti; Simone Bussa; Riccardo Sisto; Fulvio Valenza (IEEE Trans. Dependable Secur. Comput., 2025)

Automating VPN Configuration in Computer Networks. - Daniele Bringhenti; Riccardo Sisto; Fulvio Valenza (IEEE Trans. Dependable Secur. Comput., 2025)