BRINGHENTI, DANIELE

BRINGHENTI, DANIELE  

Dipartimento di Automatica e Informatica  

036828  

Mostra records
Risultati 1 - 20 di 21 (tempo di esecuzione: 0.035 secondi).
Citazione Data di pubblicazione Autori File
Automatic and optimized firewall reconfiguration / Pizzato, Francesco; Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio. - ELETTRONICO. - (In corso di stampa). (Intervento presentato al convegno IEEE/IFIP Network Operations and Management Symposium 2024, NOMS 2024 tenutosi a Seoul (South Korea) nel 6–10 May 2024). In corso di stampa Francesco PizzatoDaniele BringhentiRiccardo SistoFulvio Valenza NOMS2024-AcceptedManuscript.pdf
Automation for network security configuration: state of the art and research trends / Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio. - In: ACM COMPUTING SURVEYS. - ISSN 0360-0300. - ELETTRONICO. - 56:3(2024), pp. 1-37. [10.1145/3616401] 1-gen-2024 Daniele BringhentiGuido MarchettoRiccardo SistoFulvio Valenza Survey_AcceptedManuscript.pdfSurvey_PublishedManuscript.pdf
A demonstration of VEREFOO: an automated framework for virtual firewall configuration / Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio. - ELETTRONICO. - (2023), pp. 293-295. (Intervento presentato al convegno 2023 IEEE 9th Conference on Network Softwarization (NetSoft 2023) tenutosi a Madrid (ES) nel 19-23 June 2023) [10.1109/NetSoft57336.2023.10175442]. 1-gen-2023 Bringhenti, DanieleSisto, RiccardoValenza, Fulvio NetSoft2023A.pdfNetSoft2023A-VOR.pdf
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-PostPrint.pdfA novel abstraction for security configuration in virtual networks.pdf
An Optimized Approach for Assisted Firewall Anomaly Resolution / Bringhenti, Daniele; Seno, Lucia; Valenza, Fulvio. - In: IEEE ACCESS. - ISSN 2169-3536. - ELETTRONICO. - 11:(2023), pp. 119693-119710. [10.1109/ACCESS.2023.3328194] 1-gen-2023 Daniele BringhentiFulvio Valenza + Access2023_AcceptedVersion.pdfAccess2023_VersionRecord.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. - 20:2(2023), pp. 1559-1576. [10.1109/TDSC.2022.3160293] 1-gen-2023 Daniele BringhentiGuido MarchettoRiccardo SistoFulvio ValenzaJalolliddin Yusupov TDSC2022.pdfAutomated_Firewall_Configuration_in_Virtual_Networks.pdf
Automating the configuration of firewalls and channel protection systems in virtual networks / Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio. - ELETTRONICO. - (2023), pp. 474-479. (Intervento presentato al convegno 2023 IEEE 9th Conference on Network Softwarization (NetSoft 2023) tenutosi a Madrid (ES) nel 19-23 June 2023) [10.1109/NetSoft57336.2023.10175466]. 1-gen-2023 Bringhenti, DanieleSisto, RiccardoValenza, Fulvio NetSoft2023C.pdfNetSoft2023C-VOR.pdf
Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols / Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin - In: Handbook of Formal Analysis and Verification in Cryptography / Akleylek S., Dundua B.. - ELETTRONICO. - [s.l] : CRC Press, 2023. - ISBN 978-0-367-54665-6. [10.1201/9781003090052-2] 1-gen-2023 Bringhenti, DanieleSisto, RiccardoValenza, FulvioYusupov, Jalolliddin AcceptedChapter.pdf
Security automation for multi-cluster orchestration in Kubernetes / Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio. - ELETTRONICO. - (2023), pp. 480-485. (Intervento presentato al convegno 2023 IEEE 9th Conference on Network Softwarization (NetSoft 2023) tenutosi a Madrid (ES) nel 19-23 June 2023) [10.1109/NetSoft57336.2023.10175419]. 1-gen-2023 Bringhenti, DanieleSisto, RiccardoValenza, Fulvio NetSoft2023D.pdfNetSoft2023D-VOR.pdf
Towards Security Automation in Virtual Networks / Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio. - ELETTRONICO. - (2023), pp. 326-331. (Intervento presentato al convegno 2023 IEEE 9th Conference on Network Softwarization (NetSoft 2023) tenutosi a Madrid (ES) nel 19-23 June 2023) [10.1109/NetSoft57336.2023.10175459]. 1-gen-2023 Bringhenti, DanieleSisto, RiccardoValenza, Fulvio NetSoft2023B.pdfNetSoft2023B-VOR.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.pdfOnlineVersion.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.pdfCN-2022.pdf
Network Security Automation / Bringhenti, Daniele. - (2022 Dec 07), pp. 1-222. 7-dic-2022 BRINGHENTI, DANIELE Thesis.pdfAbstract.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.pdf1-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.pdfIEEESP.pdf
A novel approach for security function graph configuration and deployment / Bringhenti, D.; Marchetto, G.; Sisto, R.; Valenza, F.. - ELETTRONICO. - (2021), pp. 457-463. (Intervento presentato al convegno 7th IEEE International Conference on Network Softwarization, NetSoft 2021 nel 2021) [10.1109/NetSoft51509.2021.9492654]. 1-gen-2021 Bringhenti D.Marchetto G.Sisto R.Valenza F. secsoft2021.pdfmain.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.pdfTNSM09298793.pdf
Automated optimal firewall orchestration and configuration in virtualized networks / Bringhenti, D.; Marchetto, G.; Sisto, R.; Valenza, F.; Yusupov, J.. - ELETTRONICO. - (2020), pp. 1-7. (Intervento presentato al convegno 2020 IEEE/IFIP Network Operations and Management Symposium, NOMS 2020 tenutosi a Budapest (HU) nel 2020) [10.1109/NOMS47738.2020.9110402]. 1-gen-2020 Bringhenti D.Marchetto G.Sisto R.Valenza F.Yusupov J. noms.pdf2020NOMS_VEREFOO_author.pdf
Introducing programmability and automation in the synthesis of virtual firewall rules / Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin. - ELETTRONICO. - (2020), pp. 473-478. (Intervento presentato al convegno 2nd International Workshop on Cyber-Security Threats, Trust and Privacy Management in Software-defined and Virtualized Infrastructures (SecSoft), co-located with 2020 6th IEEE Conference on Network Softwarization (NetSoft) tenutosi a Ghent, Belgium nel 2020) [10.1109/NetSoft48620.2020.9165434]. 1-gen-2020 Bringhenti, DanieleMarchetto, GuidoSisto, RiccardoValenza, FulvioYusupov, Jalolliddin main.pdfsecsoft.pdf
Short Paper: Automatic Configuration for an Optimal Channel Protection in Virtualized Networks / Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio. - ELETTRONICO. - (2020), pp. 25-30. (Intervento presentato al convegno 2nd Workshop on Cyber-Security Arms Race (CYSARM) tenutosi a Virtual Event nel November 13, 2020) [10.1145/3411505.3418439]. 1-gen-2020 Bringhenti,DanieleMarchetto,GuidoSisto,RiccardoValenza,Fulvio 3411505.3418439.pdf2020_CYSARM_author.pdf