BRINGHENTI, DANIELE
BRINGHENTI, DANIELE
Dipartimento di Automatica e Informatica
036828
Towards a fully automated and optimized network security functions orchestration
2019 Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin
Automated optimal firewall orchestration and configuration in virtualized networks
2020 Bringhenti, D.; Marchetto, G.; Sisto, R.; Valenza, F.; Yusupov, J.
Introducing programmability and automation in the synthesis of virtual firewall rules
2020 Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin
Short Paper: Automatic Configuration for an Optimal Channel Protection in Virtualized Networks
2020 Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio
A novel approach for security function graph configuration and deployment
2021 Bringhenti, D.; Marchetto, G.; Sisto, R.; Valenza, F.
Improving the formal verification of reachability policies in virtualized networks
2021 Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Spinoso, Serena; 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
Toward Cybersecurity Personalization in Smart Homes
2022 Bringhenti, Daniele; Valenza, Fulvio; Basile, Cataldo
A twofold model for VNF embedding and time-sensitive network flow scheduling
2022 Bringhenti, Daniele; Valenza, Fulvio
Optimizing distributed firewall reconfiguration transients
2022 Bringhenti, Daniele; Valenza, Fulvio
Network Security Automation
2022 Bringhenti, Daniele
A novel abstraction for security configuration in virtual networks
2023 Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio
Security automation for multi-cluster orchestration in Kubernetes
2023 Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio
Towards Security Automation in Virtual Networks
2023 Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio
An Optimized Approach for Assisted Firewall Anomaly Resolution
2023 Bringhenti, Daniele; Seno, Lucia; Valenza, Fulvio
A demonstration of VEREFOO: an automated framework for virtual firewall configuration
2023 Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio
Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols
2023 Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin
Automated firewall configuration in virtual networks
2023 Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin
Automating the configuration of firewalls and channel protection systems in virtual networks
2023 Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio
A looping process for cyberattack mitigation
2024 Bringhenti, Daniele; Pizzato, Francesco; Sisto, Riccardo; Valenza, Fulvio
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Towards a fully automated and optimized network security functions orchestration / Bringhenti, D., Marchetto, G., Sisto, R., Valenza, F., Yusupov, J.. - ELETTRONICO. - (2019), pp. 1-7. (4th IEEE International Conference on Computing, Communications and Security Rome, Italy October 2019) [10.1109/CCCS.2019.8888130]. | 1-gen-2019 | BRINGHENTI, DANIELEGuido MarchettoRiccardo SistoFulvio ValenzaJalolliddin Yusupov | main.pdf; main-2.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. (2020 IEEE/IFIP Network Operations and Management Symposium, NOMS 2020 Budapest (HU) 2020) [10.1109/NOMS47738.2020.9110402]. | 1-gen-2020 | Bringhenti D.Marchetto G.Sisto R.Valenza F.Yusupov J. | noms.pdf; 2020NOMS_VEREFOO_author.pdf |
| Introducing programmability and automation in the synthesis of virtual firewall rules / Bringhenti, D., Marchetto, G., Sisto, R., Valenza, F., Yusupov, J.. - ELETTRONICO. - (2020), pp. 473-478. (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) Ghent, Belgium 2020) [10.1109/NetSoft48620.2020.9165434]. | 1-gen-2020 | Bringhenti, DanieleMarchetto, GuidoSisto, RiccardoValenza, FulvioYusupov, Jalolliddin | main.pdf; secsoft.pdf |
| Short Paper: Automatic Configuration for an Optimal Channel Protection in Virtualized Networks / Bringhenti, D., Marchetto, G., Sisto, R., Valenza, F.. - ELETTRONICO. - (2020), pp. 25-30. (2nd Workshop on Cyber-Security Arms Race (CYSARM) Virtual Event November 13, 2020) [10.1145/3411505.3418439]. | 1-gen-2020 | Bringhenti,DanieleMarchetto,GuidoSisto,RiccardoValenza,Fulvio | 3411505.3418439.pdf; 2020_CYSARM_author.pdf |
| A novel approach for security function graph configuration and deployment / Bringhenti, D., Marchetto, G., Sisto, R., Valenza, F.. - ELETTRONICO. - (2021), pp. 457-463. (7th IEEE International Conference on Network Softwarization, NetSoft 2021 2021) [10.1109/NetSoft51509.2021.9492654]. | 1-gen-2021 | Bringhenti D.Marchetto G.Sisto R.Valenza F. | secsoft2021.pdf; main.pdf |
| Improving the formal verification of reachability policies in virtualized networks / Bringhenti, D., Marchetto, G., Sisto, R., Spinoso, S., Valenza, F., Yusupov, J.. - 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 |
| Automatic, verifiable and optimized policy-based security enforcement for SDN-aware IoT networks / Bringhenti, D., Yusupov, J., Zarca, A.M., Valenza, F., Sisto, R., Bernabe, J.B., Skarmeta, A.. - 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 |
| Toward Cybersecurity Personalization in Smart Homes / Bringhenti, D., Valenza, F., Basile, C.. - 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 |
| A twofold model for VNF embedding and time-sensitive network flow scheduling / Bringhenti, D., Valenza, F.. - 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 |
| Optimizing distributed firewall reconfiguration transients / Bringhenti, D., Valenza, F.. - 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 |
| Network Security Automation / Bringhenti, Daniele. - (2022 Dec 07), pp. 1-222. | 7-dic-2022 | BRINGHENTI, DANIELE | Thesis.pdf; Abstract.pdf |
| A novel abstraction for security configuration in virtual networks / Bringhenti, D., Sisto, R., Valenza, F.. - 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.pdf; A novel abstraction for security configuration in virtual networks.pdf |
| Security automation for multi-cluster orchestration in Kubernetes / Bringhenti, D., Sisto, R., Valenza, F.. - ELETTRONICO. - (2023), pp. 480-485. (2023 IEEE 9th Conference on Network Softwarization (NetSoft 2023) Madrid (ES) 19-23 June 2023) [10.1109/NetSoft57336.2023.10175419]. | 1-gen-2023 | Bringhenti, DanieleSisto, RiccardoValenza, Fulvio | NetSoft2023D.pdf; NetSoft2023D-VOR.pdf |
| Towards Security Automation in Virtual Networks / Bringhenti, D., Sisto, R., Valenza, F.. - ELETTRONICO. - (2023), pp. 326-331. (2023 IEEE 9th Conference on Network Softwarization (NetSoft 2023) Madrid (ES) 19-23 June 2023) [10.1109/NetSoft57336.2023.10175459]. | 1-gen-2023 | Bringhenti, DanieleSisto, RiccardoValenza, Fulvio | NetSoft2023B.pdf; NetSoft2023B-VOR.pdf |
| An Optimized Approach for Assisted Firewall Anomaly Resolution / Bringhenti, D., Seno, L., Valenza, F.. - 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.pdf; Access2023_VersionRecord.pdf |
| A demonstration of VEREFOO: an automated framework for virtual firewall configuration / Bringhenti, D., Sisto, R., Valenza, F.. - ELETTRONICO. - (2023), pp. 293-295. (2023 IEEE 9th Conference on Network Softwarization (NetSoft 2023) Madrid (ES) 19-23 June 2023) [10.1109/NetSoft57336.2023.10175442]. | 1-gen-2023 | Bringhenti, DanieleSisto, RiccardoValenza, Fulvio | NetSoft2023A.pdf; NetSoft2023A-VOR.pdf |
| Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols / Bringhenti, D., Sisto, R., Valenza, F., Yusupov, J. - 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 |
| Automated firewall configuration in virtual networks / Bringhenti, D., Marchetto, G., Sisto, R., Valenza, F., Yusupov, J.. - 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.pdf; Automated_Firewall_Configuration_in_Virtual_Networks.pdf |
| Automating the configuration of firewalls and channel protection systems in virtual networks / Bringhenti, D., Sisto, R., Valenza, F.. - ELETTRONICO. - (2023), pp. 474-479. (2023 IEEE 9th Conference on Network Softwarization (NetSoft 2023) Madrid (ES) 19-23 June 2023) [10.1109/NetSoft57336.2023.10175466]. | 1-gen-2023 | Bringhenti, DanieleSisto, RiccardoValenza, Fulvio | NetSoft2023C.pdf; NetSoft2023C-VOR.pdf |
| A looping process for cyberattack mitigation / Bringhenti, D., Pizzato, F., Sisto, R., Valenza, F.. - ELETTRONICO. - (2024), pp. 276-281. (2024 IEEE International Conference on Cyber Security and Resilience London (UK) 2-4 September 2024) [10.1109/CSR61664.2024.10679501]. | 1-gen-2024 | Daniele BringhentiFrancesco PizzatoSisto RiccardoValenza Fulvio | CSR2024_accepted.pdf; CSR2024_vor.pdf |