Archivio Istituzionale della RicercaSISTO, Riccardo
SISTO, Riccardo
Dipartimento di Automatica e Informatica
001943
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
Security Automation using Traffic Flow Modeling
2022 Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio
A novel approach for security function graph configuration and deployment
2021 Bringhenti, D.; Marchetto, G.; Sisto, R.; Valenza, F.
Automated optimal firewall orchestration and configuration in virtualized networks
2020 Bringhenti, D.; Marchetto, G.; Sisto, R.; Valenza, F.; Yusupov, J.
Introducing programmability and automation in the synthesis of virtual firewall rules
2020 Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin
Short Paper: Automatic Configuration for an Optimal Channel Protection in Virtualized Networks
2020 Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio
Work-in-Progress: A Formal Approach to Verify Fault Tolerance in Industrial Network Systems
2020 Sacco, Alessio; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio
Detecting Injection Attacks on Cooperative Adaptive Cruise Control
2019 Iorio, Marco; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo; Buttiglieri, Alberto; Reineri, Massimo
Performance measurements of QUIC communications
2019 Bulgarella, Fabio; Cociglio, M.; Fioccola, G.; Marchetto, G.; Sisto, R.
Towards a fully automated and optimized network security functions orchestration
2019 Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin
Formally verified latency-aware VNF placement in industrial Internet of things
2018 Marchetto, Guido; Sisto, Riccardo; Yusupov, Jalolliddin; Ksentini, Adlen
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| A looping process for cyberattack mitigation / Bringhenti, Daniele; Pizzato, Francesco; Sisto, Riccardo; Valenza, Fulvio. - ELETTRONICO. - (2024), pp. 276-281. (Intervento presentato al convegno 2024 IEEE International Conference on Cyber Security and Resilience tenutosi a London (UK) nel 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. (Intervento presentato al convegno 2024 IEEE 10th Conference on Network Softwarization (NetSoft 2024) tenutosi a Saint Louis, MO, USA nel 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). (Intervento presentato al convegno NOMS 2024-2024 IEEE Network Operations and Management Symposium tenutosi a Seoul (South Korea) nel 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. (Intervento presentato al convegno NOMS 2024-2024 IEEE Network Operations and Management Symposium tenutosi a Seoul (South Korea) nel 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. (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.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. (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.pdf; NetSoft2023C-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).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. (Intervento presentato al convegno IEEE International Conference on Standards for Communications and Networking (CSCN 2023) tenutosi a Munich (DEU) nel 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. (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.pdf; NetSoft2023D-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.pdf; NetSoft2023B-VOR.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.pdf; a80-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.pdf; main.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.pdf; 2020NOMS_VEREFOO_author.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.pdf; secsoft.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.pdf; 2020_CYSARM_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.pdf; 09114432.pdf |
| Detecting Injection Attacks on Cooperative Adaptive Cruise Control / Iorio, Marco; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo; Buttiglieri, Alberto; Reineri, Massimo. - ELETTRONICO. - (2019), pp. 75-82. (Intervento presentato al convegno 2019 IEEE Vehicular Networking Conference (VNC) (IEEE VNC 2019) tenutosi a Los Angeles (USA) nel 4-6 Dicembre 2019) [10.1109/VNC48660.2019.9062798]. | 1-gen-2019 | Marco IorioFulvio RissoRiccardo Sisto + | 1570593848.pdf; 1570593848.pdf |
| Performance measurements of QUIC communications / Bulgarella, Fabio; Cociglio, M.; Fioccola, G.; Marchetto, G.; Sisto, R.. - ELETTRONICO. - (2019), pp. 8-14. (Intervento presentato al convegno Applied Networking Research Workshop (ANRW) tenutosi a Montreal (Canada) nel July 22, 2019) [10.1145/3340301.3341127]. | 1-gen-2019 | BULGARELLA, FABIOMarchetto, G.Sisto, R. + | 3340301.3341127.pdf; QUIC.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.pdf; main-2.pdf |
| Formally verified latency-aware VNF placement in industrial Internet of things / Marchetto, Guido; Sisto, Riccardo; Yusupov, Jalolliddin; Ksentini, Adlen. - 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.8402355]. | 1-gen-2018 | Marchetto, GuidoSisto, RiccardoYusupov, Jalolliddin + | wfcs.pdf |