BRINGHENTI, DANIELE
BRINGHENTI, DANIELE
Dipartimento di Automatica e Informatica
036828
A novel abstraction for security configuration in virtual networks
2023 Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio
A twofold model for VNF embedding and time-sensitive network flow scheduling
2022 Bringhenti, Daniele; Valenza, Fulvio
Automated firewall configuration in virtual networks
In corso di stampa Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin
Automatic, verifiable and optimized policy-based security enforcement for SDN-aware IoT networks
2022 Bringhenti, Daniele; Yusupov, Jalolliddin; Zarca, Alejandro Molina; Valenza, Fulvio; Sisto, Riccardo; Bernabe, Jorge Bernal; Skarmeta, Antonio
Improving the formal verification of reachability policies in virtualized networks
2021 Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Spinoso, Serena; Valenza, Fulvio; Yusupov, Jalolliddin
Optimizing distributed firewall reconfiguration transients
2022 Bringhenti, Daniele; Valenza, Fulvio
Toward Cybersecurity Personalization in Smart Homes
2022 Bringhenti, Daniele; Valenza, Fulvio; Basile, Cataldo
Citazione | Data di pubblicazione | Autori | File |
---|---|---|---|
A novel abstraction for security configuration in virtual networks / Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio. - In: COMPUTER NETWORKS. - ISSN 1389-1286. - ELETTRONICO. - 228:(2023), pp. 1-13. [10.1016/j.comnet.2023.109745] | 1-gen-2023 | Daniele BringhentiRiccardo SistoFulvio Valenza | COMNET2023.pdf; COMNET2023-PostPrint.pdf |
A twofold model for VNF embedding and time-sensitive network flow scheduling / Bringhenti, Daniele; Valenza, Fulvio. - In: IEEE ACCESS. - ISSN 2169-3536. - ELETTRONICO. - 10:(2022), pp. 44384-44399. [10.1109/ACCESS.2022.3169863] | 1-gen-2022 | Bringhenti, DanieleValenza, Fulvio | AcceptedManuscript.pdf; OnlineVersion.pdf |
Automated firewall configuration in virtual networks / Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin. - In: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING. - ISSN 1545-5971. - ELETTRONICO. - (In corso di stampa). [10.1109/TDSC.2022.3160293] | In corso di stampa | Daniele BringhentiGuido MarchettoRiccardo SistoFulvio ValenzaJalolliddin Yusupov | TDSC2022.pdf |
Automatic, verifiable and optimized policy-based security enforcement for SDN-aware IoT networks / Bringhenti, Daniele; Yusupov, Jalolliddin; Zarca, Alejandro Molina; Valenza, Fulvio; Sisto, Riccardo; Bernabe, Jorge Bernal; Skarmeta, Antonio. - In: COMPUTER NETWORKS. - ISSN 1389-1286. - ELETTRONICO. - 213:(2022), pp. 109-123. [10.1016/j.comnet.2022.109123] | 1-gen-2022 | Bringhenti, DanieleYusupov, JalolliddinValenza, FulvioSisto, Riccardo + | AuthorManuscript.pdf; CN-2022.pdf |
Improving the formal verification of reachability policies in virtualized networks / Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Spinoso, Serena; Valenza, Fulvio; Yusupov, Jalolliddin. - In: IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT. - ISSN 1932-4537. - ELETTRONICO. - 18:1(2021), pp. 713-728. [10.1109/TNSM.2020.3045781] | 1-gen-2021 | Daniele BringhentiGuido MarchettoRiccardo SistoSerena SpinosoFulvio ValenzaJalolliddin Yusupov | TNSM2021.pdf; TNSM09298793.pdf |
Optimizing distributed firewall reconfiguration transients / Bringhenti, Daniele; Valenza, Fulvio. - In: COMPUTER NETWORKS. - ISSN 1389-1286. - ELETTRONICO. - 215:(2022). [10.1016/j.comnet.2022.109183] | 1-gen-2022 | Daniele BringhentiFulvio Valenza | AcceptedManuscript.pdf; 1-s2.0-S138912862200281X-main.pdf |
Toward Cybersecurity Personalization in Smart Homes / Bringhenti, Daniele; Valenza, Fulvio; Basile, Cataldo. - In: IEEE SECURITY & PRIVACY. - ISSN 1540-7993. - ELETTRONICO. - 20:1(2022), pp. 45-53. [10.1109/MSEC.2021.3117471] | 1-gen-2022 | Bringhenti, DanieleValenza, FulvioCataldo, Basile | AcceptedManuscript.pdf; IEEESP.pdf |