Archivio Istituzionale della RicercaVALENZA, FULVIO
VALENZA, FULVIO
Dipartimento di Automatica e Informatica
034475
Analysis of the eBPF Vulnerabilities in the Linux Kernel
In corso di stampa Rizza, Rosario; Sisto, Riccardo; Valenza, Fulvio
Formal models for threat analysis in next-generation networks
In corso di stampa Bachiorrini, Gianmarco; Bringhenti, Daniele; Valenza, Fulvio
Homogeneous Control of Security Functions via Cross-Domain Delegation
In corso di stampa Poidomani, Nicola; Canavese, Daniele; Bringhenti, Daniele; Valenza, Fulvio; Repetto, Matteo
Toward a Query-Driven Approach for Formal Verification of Cloud Security Configuration
In corso di stampa Pizzato, Francesco; Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio
Toward Correctness by Construction for Network Security Configuration
2026 Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio
A demonstration of a network isolation solution for the computing continuum
2025 Pizzato, Francesco; Bringhenti, Daniele; Cetino, Luca; Sisto, Riccardo; Valenza, Fulvio
A demonstration of an autonomous approach for cyberattack mitigation
2025 Pizzato, Francesco; Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio
Adaptive, Agile and Automated Cybersecurity Management
2025 Bachiorrini, Gianmarco; Bringhenti, Daniele; Valenza, Fulvio
Design and implementation of a tool to improve error reporting for eBPF code
2025 Rizza, Rosario; Sisto, Riccardo; Valenza, Fulvio
Toward the Optimization of Automated VPN Configuration
2025 Bachiorrini, Gianmarco; Bringhenti, Daniele; Valenza, Fulvio
A looping process for cyberattack mitigation
2024 Bringhenti, Daniele; Pizzato, Francesco; Sisto, Riccardo; Valenza, Fulvio
An intent-based solution for network isolation in Kubernetes
2024 Pizzato, Francesco; Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio
Automatic and optimized firewall reconfiguration
2024 Pizzato, Francesco; Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio
Security Automation in next-generation Networks and Cloud environments
2024 Pizzato, Francesco; Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio
A demonstration of VEREFOO: an automated framework for virtual firewall configuration
2023 Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio
Automating the configuration of firewalls and channel protection systems in virtual networks
2023 Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio
Formal Verification of a V2X Privacy Preserving Scheme Using Proverif
2023 Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio
Formal verification of the FDO protocol
2023 Bussa, Simone; 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
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Analysis of the eBPF Vulnerabilities in the Linux Kernel / Rizza, Rosario; Sisto, Riccardo; Valenza, Fulvio. - (In corso di stampa). ( Risks and Security of Internet and Systems. CRiSIS 2025 Gatineau (CAN) 22-24 October 2025). | In corso di stampa | Rosario RizzaRiccardo SistoFulvio Valenza | Analysis_of_the_eBPF_Vulnerabilities_in_the_Linux_Kernel.pdf |
| Formal models for threat analysis in next-generation networks / Bachiorrini, Gianmarco; Bringhenti, Daniele; Valenza, Fulvio. - ELETTRONICO. - (In corso di stampa). ( NOMS 2026 - 2026 IEEE Network Operations and Management Symposium Rome (IT) 18-22 May 2026). | In corso di stampa | Gianmarco BachiorriniDaniele BringhentiFulvio Valenza | NOMS2026B_AcceptedManuscript.pdf |
| Homogeneous Control of Security Functions via Cross-Domain Delegation / Poidomani, Nicola; Canavese, Daniele; Bringhenti, Daniele; Valenza, Fulvio; Repetto, Matteo. - ELETTRONICO. - (In corso di stampa). ( 41st IFIP TC11 Information Security & Privacy Conference Perth (AU) 09-11 June 2026). | In corso di stampa | Daniele BringhentiFulvio Valenza + | IFIPSEC2026_Accepted_Manuscript.pdf |
| Toward a Query-Driven Approach for Formal Verification of Cloud Security Configuration / Pizzato, Francesco; Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio. - ELETTRONICO. - (In corso di stampa). ( NOMS 2026 - 2026 IEEE Network Operations and Management Symposium Rome (IT) 18-22 May 2026). | In corso di stampa | Francesco PizzatoDaniele BringhentiRiccardo SistoFulvio Valenza | NOMS2026-AcceptedManuscript.pdf |
| Toward Correctness by Construction for Network Security Configuration / Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio. - ELETTRONICO. - 2597:(2026), pp. 391-404. ( The 8th International Conference, MobiSec 2024, Sapporo, Japan, December 17–19, 2024 Sapporo (JPN) December 17–19, 2024) [10.1007/978-981-95-0172-4_26]. | 1-gen-2026 | Bringhenti, DanieleSisto, RiccardoValenza, Fulvio | MobiSec_Accepted_Manuscript.pdf; MobiSec_vor.pdf |
| A demonstration of a network isolation solution for the computing continuum / Pizzato, Francesco; Bringhenti, Daniele; Cetino, Luca; Sisto, Riccardo; Valenza, Fulvio. - ELETTRONICO. - (2025), pp. 1-2. ( 2025 IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN) Athens (GR) 10-12 November 2025) [10.1109/NFV-SDN66355.2025.11349451]. | 1-gen-2025 | Francesco PizzatoDaniele BringhentiLuca CetinoRiccardo SistoFulvio Valenza | NFV-SDN_2025_Accepted_Manuscript.pdf; NFV-SDN_2025_vor.pdf |
| A demonstration of an autonomous approach for cyberattack mitigation / Pizzato, Francesco; Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio. - ELETTRONICO. - (2025), pp. 1-3. ( 2025 21st International Conference on Network and Service Management (CNSM) Bologna (IT) 27-31 October 2025) [10.23919/CNSM67658.2025.11297455]. | 1-gen-2025 | Francesco PizzatoDaniele BringhentiRiccardo SistoFulvio Valenza | CNSM_2025_Accepted_Manuscript.pdf; CNSM_2025_vor.pdf |
| Adaptive, Agile and Automated Cybersecurity Management / Bachiorrini, Gianmarco; Bringhenti, Daniele; Valenza, Fulvio. - ELETTRONICO. - (2025), pp. 273-276. ( 2025 IEEE 11th International Conference on Network Softwarization (NetSoft) Budapest (HU) 23-27 June 2025) [10.1109/NetSoft64993.2025.11080611]. | 1-gen-2025 | Gianmarco BachiorriniDaniele BringhentiFulvio Valenza | accepted_manuscript.pdf; Adaptive_Agile_and_Automated_Cybersecurity_Management.pdf |
| Design and implementation of a tool to improve error reporting for eBPF code / Rizza, Rosario; Sisto, Riccardo; Valenza, Fulvio. - ELETTRONICO. - (2025), pp. 214-219. ( 2025 IEEE International Conference on Cyber Security and Resilience (CSR) Crete (GR) 04-06 August 2025) [10.1109/csr64739.2025.11130075]. | 1-gen-2025 | Rizza, RosarioSisto, RiccardoValenza, Fulvio | Design_and_implementation_of_a_tool_to_improve_error_reporting_for_eBPF_code.pdf; p0214_csr-cs_641511268.pdf |
| Toward the Optimization of Automated VPN Configuration / Bachiorrini, Gianmarco; Bringhenti, Daniele; Valenza, Fulvio. - ELETTRONICO. - (2025), pp. 561-566. ( 2025 IEEE 11th International Conference on Network Softwarization (NetSoft) Budapest (HU) 23-27 June 2025) [10.1109/NetSoft64993.2025.11080541]. | 1-gen-2025 | Gianmarco BachiorriniDaniele BringhentiFulvio Valenza | main.pdf; secsoft_2025_vor.pdf |
| A looping process for cyberattack mitigation / Bringhenti, Daniele; Pizzato, Francesco; Sisto, Riccardo; Valenza, Fulvio. - 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 |
| An intent-based solution for network isolation in Kubernetes / Pizzato, Francesco; Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio. - ELETTRONICO. - (2024), pp. 381-386. ( 2024 IEEE 10th Conference on Network Softwarization (NetSoft 2024) Saint Louis, MO, USA 24-28 June 2024) [10.1109/netsoft60951.2024.10588939]. | 1-gen-2024 | Pizzato, FrancescoBringhenti, DanieleSisto, RiccardoValenza, Fulvio | Netsoft2024_vor.pdf; Netsoft2024_AcceptedManuscript.pdf |
| Automatic and optimized firewall reconfiguration / Pizzato, Francesco; Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio. - ELETTRONICO. - (2024). ( NOMS 2024-2024 IEEE Network Operations and Management Symposium Seoul (South Korea) 6–10 May 2024) [10.1109/NOMS59830.2024.10575212]. | 1-gen-2024 | Francesco PizzatoDaniele BringhentiRiccardo SistoFulvio Valenza | NOMS2024-AcceptedManuscript.pdf; Automatic_and_optimized_firewall_reconfiguration.pdf |
| Security Automation in next-generation Networks and Cloud environments / Pizzato, Francesco; Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio. - ELETTRONICO. - (2024), pp. 1-4. ( NOMS 2024-2024 IEEE Network Operations and Management Symposium Seoul (South Korea) 06-10 May 2024) [10.1109/noms59830.2024.10575650]. | 1-gen-2024 | Pizzato, FrancescoBringhenti, DanieleSisto, RiccardoValenza, Fulvio | NOMS2024_accepted.pdf; NOMS2024_vor.pdf |
| A demonstration of VEREFOO: an automated framework for virtual firewall configuration / Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio. - 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 |
| Automating the configuration of firewalls and channel protection systems in virtual networks / Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio. - 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 |
| Formal Verification of a V2X Privacy Preserving Scheme Using Proverif / Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio. - (2023), pp. 341-346. ( 2023 IEEE International Conference on Cyber Security and Resilience (CSR) Venice (IT) 31 July 2023 - 02 August 2023) [10.1109/CSR57506.2023.10224908]. | 1-gen-2023 | Bussa, SimoneSisto, RiccardoValenza, Fulvio | 92_simone_bussa_Camera_Ready (1).pdf; Formal_Verification_of_a_V2X_Privacy_Preserving_Scheme_Using_Proverif.pdf |
| Formal verification of the FDO protocol / Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio. - (2023), pp. 290-295. ( IEEE International Conference on Standards for Communications and Networking (CSCN 2023) Munich (DEU) 06-08 November 2023) [10.1109/CSCN60443.2023.10453172]. | 1-gen-2023 | Simone BussaRiccardo SistoFulvio Valenza | FDO_verification_pre_cameraready.pdf; Formal_Verification_of_the_FDO_Protocol.pdf |
| Security automation for multi-cluster orchestration in Kubernetes / Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio. - 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, Daniele; Sisto, Riccardo; Valenza, Fulvio. - 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 |