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
Improving Web Protection in Virtual Networks with Automatic WAF Configuration
In corso di stampa Bringhenti, Daniele; Pizzato, Francesco; Valenza, Fulvio
Securing the Cloud Continuum: a communication management perspective
In corso di stampa Pizzato, Francesco; Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio
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 Risk-driven Cybersecurity Management for Virtual Networks
In corso di stampa Coriale, Francesca; Bringhenti, Daniele; Valenza, Fulvio
A Comparative Study of Authorisation Mechanisms in Kubernetes-Based Service Platforms
2026 Pizzato, Francesco; Bringhenti, Daniele; Valenza, Fulvio
GreenShield-E2C: A Sustainable Energy-Aware Firewall Configuration Mechanism for Edge-to-Cloud Continuum
2026 Bringhenti, Daniele; Valenza, Fulvio
Homogeneous Control of Security Functions via Cross-Domain Delegation
2026 Poidomani, Nicola; Canavese, Daniele; Bringhenti, Daniele; Valenza, Fulvio; Repetto, Matteo
Intent-driven network isolation for the cloud computing continuum
2026 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
Atomizing Firewall Policies for Anomaly Analysis and Resolution
2025 Bringhenti, Daniele; Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio
Automating VPN Configuration in Computer Networks
2025 Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio
Autonomous attack mitigation through firewall reconfiguration
2025 Bringhenti, Daniele; Pizzato, Francesco; Sisto, Riccardo; Valenza, Fulvio
Design and implementation of a tool to improve error reporting for eBPF code
2025 Rizza, Rosario; Sisto, Riccardo; Valenza, Fulvio
Formal verification of a V2X scheme mixing traditional PKI and group signatures
2025 Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio
Toward the Optimization of Automated VPN Configuration
2025 Bachiorrini, Gianmarco; Bringhenti, Daniele; 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, G., Bringhenti, D., Valenza, F.. - 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 |
| Improving Web Protection in Virtual Networks with Automatic WAF Configuration / Bringhenti, Daniele; Pizzato, Francesco; Valenza, Fulvio. - ELETTRONICO. - (In corso di stampa). ( 2026 IEEE 12th International Conference on Network Softwarization (NetSoft) Berlin (DE) 29 June - 3 July 2026). | In corso di stampa | Daniele BringhentiFrancesco PizzatoFulvio Valenza | NetSoft2026_AcceptedManuscript.pdf |
| Securing the Cloud Continuum: a communication management perspective / Pizzato, F., Bringhenti, D., Sisto, R., Valenza, F.. - In: COMPUTER. - ISSN 0018-9162. - ELETTRONICO. - (In corso di stampa). | In corso di stampa | Francesco PizzatoDaniele BringhentiRiccardo SistoFulvio Valenza | Computer_AcceptedManuscript.pdf |
| Toward a Query-Driven Approach for Formal Verification of Cloud Security Configuration / Pizzato, F., Bringhenti, D., Sisto, R., Valenza, F.. - 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 Risk-driven Cybersecurity Management for Virtual Networks / Coriale, Francesca; Bringhenti, Daniele; Valenza, Fulvio. - ELETTRONICO. - (In corso di stampa). ( 2026 IEEE 12th International Conference on Network Softwarization (NetSoft) Berlin (DE) 29 June - 3 July 2026). | In corso di stampa | Francesca CorialeDaniele BringhentiFulvio Valenza | 2026151640.pdf |
| A Comparative Study of Authorisation Mechanisms in Kubernetes-Based Service Platforms / Pizzato, F., Bringhenti, D., Valenza, F.. - In: APPLIED CYBERSECURITY & INTERNET GOVERNANCE. - ISSN 2956-3119. - ELETTRONICO. - 5:2(2026), pp. 1-29. [10.60097/ACIG/220492] | 1-gen-2026 | Francesco PizzatoDaniele BringhentiFulvio Valenza | ACIG2026_VoR.pdf |
| GreenShield-E2C: A Sustainable Energy-Aware Firewall Configuration Mechanism for Edge-to-Cloud Continuum / Bringhenti, D., Valenza, F.. - In: COMPUTER NETWORKS. - ISSN 1389-1286. - ELETTRONICO. - 282:(2026), pp. 1-19. [10.1016/j.comnet.2026.112279] | 1-gen-2026 | Bringhenti DanieleValenza Fulvio | COMNET2026_VoR.pdf |
| Homogeneous Control of Security Functions via Cross-Domain Delegation / Poidomani, N., Canavese, D., Bringhenti, D., Valenza, F., Repetto, M.. - ELETTRONICO. - 787:(2026), pp. 540-554. (41st IFIP TC11 Information Security & Privacy Conference Perth (AU) 09-11 June 2026) [10.1007/978-3-032-27993-4_37]. | 1-gen-2026 | Daniele BringhentiFulvio Valenza + | IFIPSEC2026_Accepted_Manuscript.pdf; 978-3-032-27993-4_37.pdf |
| Intent-driven network isolation for the cloud computing continuum / Pizzato, F., Bringhenti, D., Sisto, R., Valenza, F.. - In: JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT. - ISSN 1064-7570. - ELETTRONICO. - 34:1(2026), pp. 1-39. [10.1007/s10922-025-09986-1] | 1-gen-2026 | Francesco PizzatoDaniele BringhentiRiccardo SistoFulvio Valenza | JNSM_vor.pdf |
| Toward Correctness by Construction for Network Security Configuration / Bringhenti, D., Sisto, R., Valenza, F.. - 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, F., Bringhenti, D., Cetino, L., Sisto, R., Valenza, F.. - 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, F., Bringhenti, D., Sisto, R., Valenza, F.. - 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, G., Bringhenti, D., Valenza, F.. - 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 |
| Atomizing Firewall Policies for Anomaly Analysis and Resolution / Bringhenti, D., Bussa, S., Sisto, R., Valenza, F.. - In: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING. - ISSN 1545-5971. - ELETTRONICO. - 22:3(2025), pp. 2308-2325. [10.1109/tdsc.2024.3495230] | 1-gen-2025 | Bringhenti, DanieleBussa, SimoneSisto, RiccardoValenza, Fulvio | Atomizing_Firewall_Policies_for_Anomaly_Analysis_and_Resolution_VOR.pdf |
| Automating VPN Configuration in Computer Networks / Bringhenti, D., Sisto, R., Valenza, F.. - In: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING. - ISSN 1545-5971. - ELETTRONICO. - 22:1(2025), pp. 561-578. [10.1109/TDSC.2024.3409073] | 1-gen-2025 | Bringhenti, DanieleSisto, RiccardoValenza, Fulvio | TDSC_Accepted_Manuscript.pdf; Automating_VPN_Configuration_in_Computer_Networks.pdf |
| Autonomous attack mitigation through firewall reconfiguration / Bringhenti, D., Pizzato, F., Sisto, R., Valenza, F.. - In: INTERNATIONAL JOURNAL OF NETWORK MANAGEMENT. - ISSN 1099-1190. - ELETTRONICO. - 35:1(2025), pp. 1-18. [10.1002/nem.2307] | 1-gen-2025 | Daniele BringhentiFrancesco PizzatoRiccardo SistoFulvio Valenza | Int J Network Mgmt - 2024 - Bringhenti - Autonomous Attack Mitigation Through Firewall Reconfiguration.pdf; Int J Network Mgmt - vor.pdf |
| Design and implementation of a tool to improve error reporting for eBPF code / Rizza, R., Sisto, R., Valenza, F.. - 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 |
| Formal verification of a V2X scheme mixing traditional PKI and group signatures / Bussa, S., Sisto, R., Valenza, F.. - In: OPEN JOURNAL OF INFORMATION SECURITY AND APPLICATIONS. - ISSN 2374-6262. - 89:(2025). [10.1016/j.jisa.2025.103998] | 1-gen-2025 | Bussa, SimoneSisto, RiccardoValenza, Fulvio | 1-s2.0-S2214212625000365-main.pdf |
| Toward the Optimization of Automated VPN Configuration / Bachiorrini, G., Bringhenti, D., Valenza, F.. - 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 |