SISTO, Riccardo
SISTO, Riccardo
Dipartimento di Automatica e Informatica
001943
A Two-Fold Traffic Flow Model for Network Security Management
In corso di stampa Bringhenti, Daniele; Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio
Automatic and optimized firewall reconfiguration
In corso di stampa Pizzato, Francesco; Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio
Automating VPN Configuration in Computer Networks
In corso di stampa Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio
Formal verification of the FDO protocol
In corso di stampa 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
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
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
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
Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols
2023 Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin
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
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
Security Automation using Traffic Flow Modeling
2022 Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio
A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks
2021 Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin; Ksentini, Adlen
A novel approach for security function graph configuration and deployment
2021 Bringhenti, D.; Marchetto, G.; Sisto, R.; Valenza, F.
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
Citazione | Data di pubblicazione | Autori | File |
---|---|---|---|
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. - (In corso di stampa). [10.1109/TNSM.2024.3407159] | In corso di stampa | Bringhenti, DanieleBussa, SimoneSisto, RiccardoValenza, Fulvio | TNSM_Accepted_Manuscript.pdf |
Automatic and optimized firewall reconfiguration / Pizzato, Francesco; Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio. - ELETTRONICO. - (In corso di stampa). (Intervento presentato al convegno IEEE/IFIP Network Operations and Management Symposium 2024, NOMS 2024 tenutosi a Seoul (South Korea) nel 6–10 May 2024). | In corso di stampa | Francesco PizzatoDaniele BringhentiRiccardo SistoFulvio Valenza | NOMS2024-AcceptedManuscript.pdf |
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 |
Formal verification of the FDO protocol / Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio. - (In corso di stampa). (Intervento presentato al convegno IEEE International Conference on Standards for Communications and Networking (CSCN 2023)). | In corso di stampa | Simone BussaRiccardo SistoFulvio Valenza | FDO_verification_pre_cameraready.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 |
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 | - |
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 |
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 |
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 |
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 |
Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols / Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin - In: Handbook of Formal Analysis and Verification in Cryptography / Akleylek S., Dundua B.. - ELETTRONICO. - [s.l] : CRC Press, 2023. - ISBN 978-0-367-54665-6. [10.1201/9781003090052-2] | 1-gen-2023 | Bringhenti, DanieleSisto, RiccardoValenza, FulvioYusupov, Jalolliddin | AcceptedChapter.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 |
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 |
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 Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks / Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin; Ksentini, Adlen. - 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 |
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 |
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 |