Jalolliddin Yusupov

16 papers B 4C 1Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2023 J jnl
Automated Firewall Configuration in Virtual Networks.
IEEE Trans. Dependable Secur. Comput.
Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov
2023 — ch.
Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols.
Handb. Formal Anal. Verification Cryptogr.
Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov
2022 J jnl
Automatic, verifiable and optimized policy-based security enforcement for SDN-aware IoT networks.
Comput. Networks
Daniele Bringhenti, Jalolliddin Yusupov, Alejandro Molina Zarca, Fulvio Valenza, Riccardo Sisto, Jorge Bernal Bernabé, Antonio F. Skarmeta
2022 J jnl
Automating Mitigation of Amplification Attacks in NFV Services.
IEEE Trans. Netw. Serv. Manag.
Matteo Repetto, Gianmarco Bruno, Jalolliddin Yusupov, Guerino Lamanna, Benjamin Ertl, Alessandro Carrega
2021 J jnl
A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks.
IEEE Trans. Ind. Informatics
Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov, Adlen Ksentini
2021 J jnl
Improving the Formal Verification of Reachability Policies in Virtualized Networks.
IEEE Trans. Netw. Serv. Manag.
Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Serena Spinoso, Fulvio Valenza, Jalolliddin Yusupov
2021 B conf
Leveraging the 5G architecture to mitigate amplification attacks.
NetSoft
Matteo Repetto, Alessandro Carrega, Guerino Lamanna, Jalolliddin Yusupov, Orazio Toscano, Gianmarco Bruno, Michele Nuovo, Marco Cappelli
2020 B conf
Automated optimal firewall orchestration and configuration in virtualized networks.
NOMS
Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov
2020 B conf
Introducing programmability and automation in the synthesis of virtual firewall rules.
NetSoft
Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov
2019 J jnl
A Framework for Verification-Oriented User-Friendly Network Function Modeling.
IEEE Access
Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov
2019 — conf
Automated Security Management for Virtual Services.
NFV-SDN
Matteo Repetto, Alessandro Carrega, Jalolliddin Yusupov, Fulvio Valenza, Fulvio Risso, Guerino Lamanna
2019 — conf
Towards a fully automated and optimized network security functions orchestration.
ICCCS
Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov
2018 C conf
Formally verified latency-aware VNF placement in industrial Internet of things.
WFCS
Guido Marchetto, Riccardo Sisto, Jalolliddin Yusupov, Adlen Ksentini
2018 — conf
Multi-Objective Function Splitting and Placement of Network Slices in 5G Mobile Networks.
CSCN
Jalolliddin Yusupov, Adlen Ksentini, Guido Marchetto, Riccardo Sisto
2018 B conf
Virtual Network Embedding with Formal Reachability Assurance.
CNSM
Guido Marchetto, Riccardo Sisto, Jalolliddin Yusupov, Adlen Ksentini
2017 — conf
A Framework for User-Friendly Verification-Oriented VNF Modeling.
COMPSAC (1)
Guido Marchetto, Riccardo Sisto, Matteo Virgilio, Jalolliddin Yusupov