VALENZA, FULVIO

VALENZA, FULVIO  

Dipartimento di Automatica e Informatica  

034475  

Mostra records
Risultati 1 - 20 di 60 (tempo di esecuzione: 0.457 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
Formal verification of the FDO protocol / Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio. - (In corso di stampa). (Intervento presentato al convegno IEEE International Conference on Standards for Communications and Networking (CSCN 2023)). In corso di stampa Simone BussaRiccardo SistoFulvio Valenza FDO_verification_pre_cameraready.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 hybrid threat model for smart systems / Valenza, F.; Karafili, E.; Steiner, R. V.; Lupu, E. C.. - In: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING. - ISSN 1545-5971. - ELETTRONICO. - 20:5(2023), pp. 4403-4417. [10.1109/TDSC.2022.3213577] 1-gen-2023 Valenza F. + SECRIS_Hybrid_Threat_Report (10).pdfA_Hybrid_Threat_Model_for_Smart_Systems.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
Formal Verification of a V2X Privacy Preserving Scheme Using Proverif / Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio. - (2023), pp. 341-346. (Intervento presentato al convegno 2023 IEEE International Conference on Cyber Security and Resilience (CSR) tenutosi a Venice (IT) nel 31 July 2023 - 02 August 2023) [10.1109/CSR57506.2023.10224908]. 1-gen-2023 Bussa, SimoneSisto, RiccardoValenza, Fulvio 92_simone_bussa_Camera_Ready (1).pdfFormal_Verification_of_a_V2X_Privacy_Preserving_Scheme_Using_Proverif.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
Guest Editors Introduction: Special Section on Recent Advances in Network Security Management / Badonnel, R; Fung, C; Scott-Hayward, S; Li, Q; Valenza, F; Hesselman, C. - In: IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT. - ISSN 1932-4537. - ELETTRONICO. - 19:3(2022), pp. 2251-2254. [10.1109/TNSM.2022.3202426] 1-gen-2022 Valenza, F + Guest_Editors_Introduction_Special_Section_on_Recent_Advances_in_Network_Security_Management.pdf
Next Generation of Hybrid Threats / Valenza, Fulvio. - (2022), pp. 114-114. (Intervento presentato al convegno European Interdisciplinary Cybersecurity Conference tenutosi a Barcelona (Spain) nel June 2022) [10.1145/3528580.3535333]. 1-gen-2022 Valenza, Fulvio 3528580.3535333.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
Security Automation using Traffic Flow Modeling / Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio. - (2022), pp. 486-491. (Intervento presentato al convegno IEEE 8th International Conference on Network Softwarization (NetSoft 2022 ) tenutosi a Milano) [10.1109/NetSoft54395.2022.9844025]. 1-gen-2022 Bussa, SimoneSisto, RiccardoValenza, Fulvio Security_Automation_using_Traffic_Flow_Modeling.pdfa80-bussa final.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