Daniele Bringhenti

3 ta ish

Polytechnic University of Turin

1. Improving the Formal Verification of Reachability Policies in Virtualized Networks

   Daniele Bringhenti, Guido Marchetto, Riccardo Sisto +3

   MaqolaOAOchiq kirishSoftware-Defined Networks and 5GIEEE Transactions on Network and Service Management20201 iqtibos

   ABIABI:AkademIndex/2026.other.062452

2. Automated Firewall Configuration in Virtual Networks

   Daniele Bringhenti, Guido Marchetto, Riccardo Sisto +2

   MaqolaOAOchiq kirishSoftware-Defined Networks and 5GIEEE Transactions on Dependable and Secure Computing20220 iqtibos

   ABIABI:AkademIndex/2022.article.000094

3. Automatic, verifiable and optimized policy-based security enforcement for SDN-aware IoT networks

   Daniele Bringhenti, Jalolliddin Yusupov, Alejandro Molina Zarca +4

   MaqolaOAOchiq kirishSoftware-Defined Networks and 5GComputer Networks20220 iqtibos

   ABIABI:AkademIndex/2022.article.000243