VALENZA, FULVIO
VALENZA, FULVIO
Dipartimento di Automatica e Informatica
034475
Automating VPN Configuration in Computer Networks
In corso di stampa Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio
Autonomous attack mitigation through firewall reconfiguration
In corso di stampa Bringhenti, Daniele; Pizzato, Francesco; Sisto, Riccardo; Valenza, Fulvio
GreenShield: Optimizing Firewall Configuration for Sustainable Networks
In corso di stampa Bringhenti, Daniele; Valenza, Fulvio
A Two-Fold Traffic Flow Model for Network Security Management
2024 Bringhenti, Daniele; Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio
Automation for network security configuration: state of the art and research trends
2024 Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio
A hybrid threat model for smart systems
2023 Valenza, F.; Karafili, E.; Steiner, R. V.; Lupu, E. C.
A novel abstraction for security configuration 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
Automated firewall configuration in virtual networks
2023 Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin
A twofold model for VNF embedding and time-sensitive network flow scheduling
2022 Bringhenti, Daniele; Valenza, Fulvio
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
Guest Editors Introduction: Special Section on Recent Advances in Network Security Management
2022 Badonnel, R; Fung, C; Scott-Hayward, S; Li, Q; Valenza, F; Hesselman, C
Optimizing distributed firewall reconfiguration transients
2022 Bringhenti, Daniele; Valenza, Fulvio
Toward Cybersecurity Personalization in Smart Homes
2022 Bringhenti, Daniele; Valenza, Fulvio; Basile, Cataldo
Guest editorial: Special issue on novel cyber-security paradigms for software-defined and virtualized systems
2021 Valenza, F.; Repetto, M.; Shiaeles, S.
Improving the formal verification of reachability policies in virtualized networks
2021 Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Spinoso, Serena; Valenza, Fulvio; Yusupov, Jalolliddin
(User-friendly) formal requirements verification in the context of ISO26262
2020 Makartetskiy, Denis; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Virgilio, Matteo; Leri, Denise; Denti, Paolo; Finizio, Roberto
An optimized firewall anomaly resolution
2020 Valenza, F.; Cheminod, M.
Protecting In-Vehicle Services : Security-Enabled SOME/IP Middleware
2020 Iorio, Marco; Buttiglieri, Alberto; Reineri, Massimo; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo; Valenza, Fulvio
A Framework for Verification-Oriented User-Friendly Network Function Modeling
2019 Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin
Citazione | Data di pubblicazione | Autori | File |
---|---|---|---|
Automating VPN Configuration in Computer Networks / Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio. - In: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING. - ISSN 1545-5971. - ELETTRONICO. - (In corso di stampa). [10.1109/TDSC.2024.3409073] | In corso di stampa | Bringhenti, DanieleSisto, RiccardoValenza, Fulvio | TDSC_Accepted_Manuscript.pdf |
Autonomous attack mitigation through firewall reconfiguration / Bringhenti, Daniele; Pizzato, Francesco; Sisto, Riccardo; Valenza, Fulvio. - In: INTERNATIONAL JOURNAL OF NETWORK MANAGEMENT. - ISSN 1099-1190. - (In corso di stampa). [10.1002/nem.2307] | In corso di stampa | Daniele BringhentiFrancesco PizzatoRiccardo SistoFulvio Valenza | JNSM2024_accepted.pdf |
GreenShield: Optimizing Firewall Configuration for Sustainable Networks / Bringhenti, Daniele; Valenza, Fulvio. - In: IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT. - ISSN 1932-4537. - ELETTRONICO. - (In corso di stampa). [10.1109/tnsm.2024.3452150] | In corso di stampa | Bringhenti, DanieleValenza, Fulvio | TNSM-SI-2024_accepted.pdf |
A Two-Fold Traffic Flow Model for Network Security Management / Bringhenti, Daniele; Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio. - In: IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT. - ISSN 1932-4537. - ELETTRONICO. - 21:4(2024), pp. 3740-3758. [10.1109/TNSM.2024.3407159] | 1-gen-2024 | Bringhenti, DanieleBussa, SimoneSisto, RiccardoValenza, Fulvio | TNSM_Accepted_Manuscript.pdf; TNSM2024_vor.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.pdf; Survey_PublishedManuscript.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).pdf; A_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.pdf; A 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.pdf; Access2023_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.pdf; Automated_Firewall_Configuration_in_Virtual_Networks.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.pdf; OnlineVersion.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.pdf; CN-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 |
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.pdf; 1-s2.0-S138912862200281X-main.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.pdf; IEEESP.pdf |
Guest editorial: Special issue on novel cyber-security paradigms for software-defined and virtualized systems / Valenza, F.; Repetto, M.; Shiaeles, S.. - In: COMPUTER NETWORKS. - ISSN 1389-1286. - ELETTRONICO. - 193:(2021), p. 108126. [10.1016/j.comnet.2021.108126] | 1-gen-2021 | Valenza F. + | 1-s2.0-S1389128621001997-main.pdf |
Improving the formal verification of reachability policies in virtualized networks / Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Spinoso, Serena; Valenza, Fulvio; Yusupov, Jalolliddin. - 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 |
(User-friendly) formal requirements verification in the context of ISO26262 / Makartetskiy, Denis; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Virgilio, Matteo; Leri, Denise; Denti, Paolo; Finizio, Roberto. - In: ENGINEERING SCIENCE AND TECHNOLOGY, AN INTERNATIONAL JOURNAL. - ISSN 2215-0986. - ELETTRONICO. - 23:3(2020), pp. 494-506. [10.1016/j.jestch.2019.09.005] | 1-gen-2020 | Denis MakartetskiyGuido MarchettoRiccardo SistoFulvio ValenzaMatteo Virgilio + | 1-s2.0-S2215098619306147-main.pdf |
An optimized firewall anomaly resolution / Valenza, F.; Cheminod, M.. - In: JOURNAL OF INTERNET SERVICES AND INFORMATION SECURITY. - ISSN 2182-2069. - ELETTRONICO. - 10:1(2020), pp. 22-37. [10.22667/JISIS.2020.02.29.022] | 1-gen-2020 | Valenza F.Cheminod M. | jisis-2020-vol10-no1-02.pdf |
Protecting In-Vehicle Services : Security-Enabled SOME/IP Middleware / Iorio, Marco; Buttiglieri, Alberto; Reineri, Massimo; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo; Valenza, Fulvio. - In: IEEE VEHICULAR TECHNOLOGY MAGAZINE. - ISSN 1556-6072. - ELETTRONICO. - 15:3(2020), pp. 77-85. [10.1109/MVT.2020.2980444] | 1-gen-2020 | Iorio MarcoRisso FulvioSisto RiccardoValenza Fulvio + | 09085373.pdf; 09085373.pdf |
A Framework for Verification-Oriented User-Friendly Network Function Modeling / Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin. - In: IEEE ACCESS. - ISSN 2169-3536. - 7:(2019), pp. 99349-99359. [10.1109/ACCESS.2019.2929325] | 1-gen-2019 | Marchetto, GuidoSisto, RiccardoValenza, FulvioYusupov, Jalolliddin | 08765301.pdf |