SISTO, Riccardo

SISTO, Riccardo  

Dipartimento di Automatica e Informatica  

001943  

Mostra records
Risultati 1 - 20 di 133 (tempo di esecuzione: 0.04 secondi).
Citazione Data di pubblicazione Autori File
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. - (2022). [10.1109/TDSC.2022.3160293] 1-gen-2022 Daniele BringhentiGuido MarchettoRiccardo SistoFulvio ValenzaJalolliddin Yusupov TDSC2022.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.pdfCN-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.pdfa80-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.pdf09119174.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.pdfTNSM09298793.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.pdfmain.pdf
Securing SOME/IP for In-Vehicle Service Protection / Iorio, Marco; Reineri, Massimo; Risso, Fulvio; Sisto, Riccardo; Valenza, Fulvio. - 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.pdf09215036.pdf
Improvements in the transmission of data or messages on board a vehicle by means of a SOME/IP communication protocol / Iorio, Marco; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo; Valenza, Fulvio; Reineri, Massimo; Buttiglieri, Alberto. - (2020). 1-gen-2020 Marco IorioFulvio RissoRiccardo SistoFulvio Valenza + -
(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
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.pdfsecsoft.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.pdf09114432.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.pdf2020_CYSARM_author.pdf
Automated optimal firewall orchestration and configuration in virtualized networks / Bringhenti, D.; Marchetto, G.; Sisto, R.; Valenza, F.; Yusupov, J.. - STAMPA. - (2020), pp. 1-7. ((Intervento presentato al convegno 2020 IEEE/IFIP Network Operations and Management Symposium, NOMS 2020 tenutosi a hun nel 2020 [10.1109/NOMS47738.2020.9110402]. 1-gen-2020 Bringhenti D.Marchetto G.Sisto R.Valenza F.Yusupov J. noms.pdf2020NOMS_VEREFOO_author.pdf
Protecting In-Vehicle Services : Security-Enabled SOME/IP Middleware / Iorio, Marco; Buttiglieri, Alberto; Reineri, Massimo; Risso, Fulvio; 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.pdf09085373.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.pdfQUIC.pdf
Multipoint passive monitoring in packet networks / Cociglio, Mauro; Fioccola, Giuseppe; Marchetto, Guido; Sapio, Amedeo; Sisto, Riccardo. - 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.PDF08901157.pdf
Perfezionamenti nella trasmissione di dati o messaggi a bordo di un veicolo mediante un protocollo di comunicazione SOME/IP / Iorio, Marco; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo; Valenza, Fulvio; Reineri, Massimo; Buttiglieri, Alberto. - (2019). 1-gen-2019 Marco IorioFulvio RissoRiccardo SistoFulvio Valenza + -
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.pdf2019JNCA_author.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
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