Archivio Istituzionale della RicercaSISTO, Riccardo
SISTO, Riccardo
Dipartimento di Automatica e Informatica
001943
Securing the Cloud Continuum: a communication management perspective
In corso di stampa Pizzato, Francesco; Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio
Intent-driven network isolation for the cloud computing continuum
2026 Pizzato, Francesco; Bringhenti, Daniele; Sisto, Riccardo; 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
Formal verification of a V2X scheme mixing traditional PKI and group signatures
2025 Bussa, Simone; Sisto, Riccardo; 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 novel abstraction for security configuration in virtual networks
2023 Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio
Automated firewall configuration in virtual networks
2023 Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin
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
A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks
2021 Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin; Ksentini, Adlen
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
Protecting In-Vehicle Services : Security-Enabled SOME/IP Middleware
2020 Iorio, Marco; Buttiglieri, Alberto; Reineri, Massimo; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo; Valenza, Fulvio
Securing SOME/IP for In-Vehicle Service Protection
2020 Iorio, Marco; Reineri, Massimo; Risso, Fulvio; Sisto, Riccardo; Valenza, Fulvio
A Framework for Verification-Oriented User-Friendly Network Function Modeling
2019 Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin
A VNF modeling approach for verification purposes
2019 Marchetto, G.; Sisto, R.; Virgilio, M.; Yusupov, J.
Formally specifying and checking policies and anomalies in service function chaining
2019 Valenza, F.; Spinoso, S.; Sisto, R.
Multipoint passive monitoring in packet networks
2019 Cociglio, Mauro; Fioccola, Giuseppe; Marchetto, Guido; Sapio, Amedeo; Sisto, Riccardo
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| 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 |
| 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 |
| 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 |
| 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 |
| A Two-Fold Traffic Flow Model for Network Security Management / Bringhenti, D., Bussa, S., Sisto, R., Valenza, F.. - 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, D., Marchetto, G., Sisto, R., Valenza, F.. - 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 novel abstraction for security configuration in virtual networks / Bringhenti, D., Sisto, R., Valenza, F.. - 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 |
| Automated firewall configuration in virtual networks / Bringhenti, D., Marchetto, G., Sisto, R., Valenza, F., Yusupov, J.. - 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 |
| Automatic, verifiable and optimized policy-based security enforcement for SDN-aware IoT networks / Bringhenti, D., Yusupov, J., Zarca, A.M., Valenza, F., Sisto, R., Bernabe, J.B., Skarmeta, A.. - 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 |
| A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks / Marchetto, G., Sisto, R., Valenza, F., Yusupov, J., Ksentini, A.. - In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. - ISSN 1551-3203. - 17:2(2021), pp. 1515-1525. [10.1109/tii.2020.3002816] | 1-gen-2021 | Marchetto, GuidoSisto, RiccardoValenza, FulvioYusupov, Jalolliddin + | TII2021.pdf; 09119174.pdf |
| Improving the formal verification of reachability policies in virtualized networks / Bringhenti, D., Marchetto, G., Sisto, R., Spinoso, S., Valenza, F., Yusupov, J.. - 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, D., Marchetto, G., Sisto, R., Valenza, F., Virgilio, M., Leri, D., Denti, P., Finizio, R.. - 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 |
| Protecting In-Vehicle Services : Security-Enabled SOME/IP Middleware / Iorio, M., Buttiglieri, A., Reineri, M., Risso, F.G.O., Sisto, R., Valenza, F.. - 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 |
| Securing SOME/IP for In-Vehicle Service Protection / Iorio, M., Reineri, M., Risso, F., Sisto, R., Valenza, F.. - In: IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY. - ISSN 0018-9545. - ELETTRONICO. - 69:11(2020), pp. 13450-13466. [10.1109/TVT.2020.3028880] | 1-gen-2020 | Iorio,MarcoRisso,FulvioSisto,RiccardoValenza,Fulvio + | 09215036.pdf; 09215036.pdf |
| A Framework for Verification-Oriented User-Friendly Network Function Modeling / Marchetto, G., Sisto, R., Valenza, F., Yusupov, J.. - 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 |
| A VNF modeling approach for verification purposes / Marchetto, G., Sisto, R., Virgilio, M., Yusupov, J.. - In: INTERNATIONAL JOURNAL OF ELECTRICAL AND COMPUTER ENGINEERING. - ISSN 2088-8708. - 9:4(2019), pp. 2627-2636. [10.11591/ijece.v9i4.pp2627-2636] | 1-gen-2019 | Marchetto G.Sisto R.Virgilio M.Yusupov J. | document.pdf |
| Formally specifying and checking policies and anomalies in service function chaining / Valenza, F., Spinoso, S., Sisto, R.. - In: JOURNAL OF NETWORK AND COMPUTER APPLICATIONS. - ISSN 1084-8045. - 146:(2019), pp. 1-14. [10.1016/j.jnca.2019.102419] | 1-gen-2019 | Valenza F.Spinoso S.Sisto R. | 1-s2.0-S108480451930253X-main.pdf; 2019JNCA_author.pdf |
| Multipoint passive monitoring in packet networks / Cociglio, M., Fioccola, G., Marchetto, G., Sapio, A., Sisto, R.. - In: IEEE-ACM TRANSACTIONS ON NETWORKING. - ISSN 1063-6692. - 27:6(2019), pp. 2377-2390. [10.1109/TNET.2019.2950157] | 1-gen-2019 | Guido MarchettoAmedeo SapioRiccardo Sisto + | FINAL VERSION.PDF; 08901157.pdf |