VALENZA, FULVIO

VALENZA, FULVIO  

Dipartimento di Automatica e Informatica  

034475  

Mostra records
Risultati 1 - 20 di 27 (tempo di esecuzione: 0.025 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
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
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
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
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
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
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
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
Automatic Firewalls’ Configuration Using Argumentation Reasoning / Karafili, E.; Valenza, F.. - 12515:(2020), pp. 124-140. (Intervento presentato al convegno 3rd International Workshop on Emerging Technologies for Authorization and Authentication, ETAA 2020 tenutosi a gbr nel 2020) [10.1007/978-3-030-64455-0_8]. 1-gen-2020 Valenza F. + Karafili-Valenza2020_Chapter_AutomaticFirewallsConfiguratio.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
Towards a Framework for Automatic Firewalls Configuration via Argumentation Reasoning / Karafili, E.; Valenza, F.; Chen, Y.; Lupu, E. C.. - (2020), pp. 1-4. (Intervento presentato al convegno 2020 IEEE/IFIP Network Operations and Management Symposium, NOMS 2020 tenutosi a hun nel 2020) [10.1109/NOMS47738.2020.9110399]. 1-gen-2020 Valenza F. + Argumentation2020.pdf2020NOMS_ArgoFiCo_author.pdf
Work-in-Progress: A Formal Approach to Verify Fault Tolerance in Industrial Network Systems / Sacco, Alessio; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio. - ELETTRONICO. - (2020), pp. 1-4. (Intervento presentato al convegno 2020 16th IEEE International Conference on Factory Communication Systems (WFCS) tenutosi a Porto, Portugal nel 27-29 April 2020) [10.1109/WFCS47810.2020.9114432]. 1-gen-2020 Alessio SaccoGuido MarchettoRiccardo SistoFulvio Valenza WFCS_2020_WiP_submitted.pdf09114432.pdf
Automated Security Management for Virtual Services / Repetto, M.; Carrega, A.; Yusupov, J.; Valenza, F.; Risso, F.; Lamanna, G.. - ELETTRONICO. - (2019). (Intervento presentato al convegno 2019 IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN)) [10.1109/NFV-SDN47374.2019.9040069]. 1-gen-2019 J. YusupovF. ValenzaF. Risso + nfv sdn.pdfAutomated_Security_Management_for_Virtual_Services.pdf
Towards a fully automated and optimized network security functions orchestration / Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin. - ELETTRONICO. - (2019), pp. 1-7. (Intervento presentato al convegno 4th IEEE International Conference on Computing, Communications and Security tenutosi a Rome, Italy nel October 2019) [10.1109/CCCS.2019.8888130]. 1-gen-2019 BRINGHENTI, DANIELEGuido MarchettoRiccardo SistoFulvio ValenzaJalolliddin Yusupov main.pdfmain-2.pdf
Toward attribute-based access control policy in industrial networked systems / Cheminod, Manuel; Durante, Luca; Valenza, Fulvio; Valenzano, Adriano. - ELETTRONICO. - 2018-:(2018), pp. 1-9. (Intervento presentato al convegno 14th IEEE International Workshop on Factory Communication Systems, WFCS 2018 tenutosi a ita nel 2018) [10.1109/WFCS.2018.8402339]. 1-gen-2018 Cheminod, ManuelDurante, LucaValenza, FulvioValenzano, Adriano 2018WFCS.pdf2018WFCS_author.pdf
A Model for the Analysis of Security Policies in Service Function Chains / Durante, Luca; Lucia, Seno; Valenza, Fulvio; Valenzano, Adriano. - ELETTRONICO. - (2017). (Intervento presentato al convegno Second IEEE International Workshop on Security in NFV-SDN (SNS2017) tenutosi a BOLOGNA (IT)) [10.1109/NETSOFT.2017.8004230]. 1-gen-2017 DURANTE, LUCAVALENZA, FULVIOVALENZANO, ADRIANO + 08004230.pdf2017SNS_author.pdf