Follow
Jalolliddin Yusupov
Jalolliddin Yusupov
Turin Polytechnic University in Tashkent
Verified email at polito.it - Homepage
Title
Cited by
Cited by
Year
Automated optimal firewall orchestration and configuration in virtualized networks
D Bringhenti, G Marchetto, R Sisto, F Valenza, J Yusupov
NOMS 2020-2020 IEEE/IFIP Network Operations and Management Symposium, 1-7, 2020
382020
Towards a fully automated and optimized network security functions orchestration
D Bringhenti, G Marchetto, R Sisto, F Valenza, J Yusupov
2019 4th International Conference on Computing, Communications and Security …, 2019
322019
Improving the formal verification of reachability policies in virtualized networks
D Bringhenti, G Marchetto, R Sisto, S Spinoso, F Valenza, J Yusupov
IEEE Transactions on Network and Service Management 18 (1), 713-728, 2020
312020
Automated firewall configuration in virtual networks
D Bringhenti, G Marchetto, R Sisto, F Valenza, J Yusupov
IEEE Transactions on Dependable and Secure Computing 20 (2), 1559-1576, 2022
292022
Formally verified latency-aware vnf placement in industrial internet of things
G Marchetto, R Sisto, J Yusupov, A Ksentinit
2018 14th IEEE International Workshop on Factory Communication Systems (WFCS …, 2018
262018
Multi-objective function splitting and placement of network slices in 5G mobile networks
J Yusupov, A Ksentini, G Marchetto, R Sisto
2018 IEEE Conference on Standards for Communications and Networking (CSCN), 1-6, 2018
242018
Automatic, verifiable and optimized policy-based security enforcement for SDN-aware IoT networks
D Bringhenti, J Yusupov, AM Zarca, F Valenza, R Sisto, JB Bernabe, ...
Computer Networks 213, 109123, 2022
212022
Introducing programmability and automation in the synthesis of virtual firewall rules
D Bringhenti, G Marchetto, R Sisto, F Valenza, J Yusupov
2020 6th IEEE Conference on Network Softwarization (NetSoft), 473-478, 2020
182020
A framework for verification-oriented user-friendly network function modeling
G Marchetto, R Sisto, F Valenza, J Yusupov
IEEE Access 7, 99349-99359, 2019
182019
A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks
AK Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jaloliddin Yusupov
IEEE Transactions on Industrial Informatics, 1, 2020
12*2020
Virtual network embedding with formal reachability assurance
G Marchetto, R Sisto, J Yusupov, A Ksentini
2018 14th International Conference on Network and Service Management (CNSM …, 2018
122018
A framework for user-friendly verification-oriented VNF modeling
G Marchetto, R Sisto, M Virgilio, J Yusupov
2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC …, 2017
72017
Automating mitigation of amplification attacks in NFV services
M Repetto, G Bruno, J Yusupov, G Lamanna, B Ertl, A Carrega
IEEE Transactions on Network and Service Management 19 (3), 2382-2396, 2022
52022
Leveraging the 5G architecture to mitigate amplification attacks
M Repetto, A Carrega, G Lamanna, J Yusupov, O Toscano, G Bruno, ...
2021 IEEE 7th International Conference on Network Softwarization (NetSoft …, 2021
32021
Automated Security Management for Virtual Services
M Repetto, A Carrega, J Yusupov, F Valenza, F Risso, G Lamanna
2019 IEEE Conference on Network Function Virtualization and Software Defined …, 2019
12019
A VNF modeling approach for verification purposes
G Marchetto, R Sisto, M Virgilio, J Yusupov
International Journal of Electrical and Computer Engineering (IJECE) 9 (4 …, 2019
12019
Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols
D Bringhenti, R Sisto, F Valenza, J Yusupov
Handbook of Formal Analysis and Verification in Cryptography, 57-104, 2023
2023
Formal assurance of security policies in automated network orchestration (SDN/NFV)
J Yusupov
Politecnico di Torino, 2020
2020
A framework for automatic Network Security Functions selection and placement in NFV/Cloud context
G Sisinni
Politecnico di Torino, 2019
2019
Automatic Optimized Firewalls Orchestration and Configuration in NFV environment
D Bringhenti
Politecnico di Torino, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20