Daniele Bringhenti

According to our database, Daniele Bringhenti authored at least 19 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Automation for Network Security Configuration: State of the Art and Research Trends.

Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza

ACM Comput. Surv., March, 2024

2023

A novel abstraction for security configuration in virtual networks.

Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza

Comput. Networks, June, 2023

Automated Firewall Configuration in Virtual Networks.

Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov

IEEE Trans. Dependable Secur. Comput., 2023

An Optimized Approach for Assisted Firewall Anomaly Resolution.

Daniele Bringhenti, Lucia Seno, Fulvio Valenza

IEEE Access, 2023

Security automation for multi-cluster orchestration in Kubernetes.

Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza

Proceedings of the 9th IEEE International Conference on Network Softwarization, 2023

Automating the configuration of firewalls and channel protection systems in virtual networks.

Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza

Proceedings of the 9th IEEE International Conference on Network Softwarization, 2023

Towards Security Automation in Virtual Networks.

Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza

Proceedings of the 9th IEEE International Conference on Network Softwarization, 2023

A demonstration of VEREFOO: an automated framework for virtual firewall configuration.

Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza

Proceedings of the 9th IEEE International Conference on Network Softwarization, 2023

Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols.

Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov

Proceedings of the Handbook of Formal Analysis and Verification in Cryptography, 2023

2022

Toward Cybersecurity Personalization in Smart Homes.

Daniele Bringhenti, Fulvio Valenza, Cataldo Basile

IEEE Secur. Priv., 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

Optimizing distributed firewall reconfiguration transients.

Daniele Bringhenti, Fulvio Valenza

Comput. Networks, 2022

A Twofold Model for VNF Embedding and Time-Sensitive Network Flow Scheduling.

Daniele Bringhenti, Fulvio Valenza

IEEE Access, 2022

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 novel approach for security function graph configuration and deployment.

Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza

Proceedings of the 7th IEEE International Conference on Network Softwarization, 2021

2020

Automated optimal firewall orchestration and configuration in virtualized networks.

Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov

Proceedings of the NOMS 2020, 2020

Introducing programmability and automation in the synthesis of virtual firewall rules.

Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov

Proceedings of the 6th IEEE Conference on Network Softwarization, 2020

Short Paper: Automatic Configuration for an Optimal Channel Protection in Virtualized Networks.

Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza

Proceedings of the CYSARM@CCS '20: Proceedings of the 2nd Workshop on Cyber-Security Arms Race, 2020

2019

Towards a fully automated and optimized network security functions orchestration.

Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov

Proceedings of the 2019 4th International Conference on Computing, 2019