Jalolliddin Yusupov

According to our database, Jalolliddin Yusupov authored at least 16 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Automated Firewall Configuration in Virtual Networks.

Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov

IEEE Trans. Dependable Secur. Comput., 2023

Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols.

Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov

Proceedings of the Handbook of Formal Analysis and Verification in Cryptography, 2023

2022

Automating Mitigation of Amplification Attacks in NFV Services.

Matteo Repetto, Gianmarco Bruno, Jalolliddin Yusupov, Guerino Lamanna, Benjamin Ertl, Alessandro Carrega

IEEE Trans. Netw. Serv. Manag., 2022

Automatic, verifiable and optimized policy-based security enforcement for SDN-aware IoT networks.

Daniele Bringhenti, Jalolliddin Yusupov, Alejandro Molina Zarca, Fulvio Valenza, Riccardo Sisto, Jorge Bernal Bernabé, Antonio F. Skarmeta

Comput. Networks, 2022

2021

Improving the Formal Verification of Reachability Policies in Virtualized Networks.

Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Serena Spinoso, Fulvio Valenza, Jalolliddin Yusupov

IEEE Trans. Netw. Serv. Manag., 2021

A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks.

Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov, Adlen Ksentini

IEEE Trans. Ind. Informatics, 2021

Leveraging the 5G architecture to mitigate amplification attacks.

Matteo Repetto, Alessandro Carrega, Guerino Lamanna, Jalolliddin Yusupov, Orazio Toscano, Gianmarco Bruno, Michele Nuovo, Marco Cappelli

Proceedings of the 7th IEEE International Conference on Network Softwarization, 2021

2020

Automated optimal firewall orchestration and configuration in virtualized networks.

Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov

Proceedings of the NOMS 2020, 2020

Introducing programmability and automation in the synthesis of virtual firewall rules.

Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov

Proceedings of the 6th IEEE Conference on Network Softwarization, 2020

2019

A Framework for Verification-Oriented User-Friendly Network Function Modeling.

Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov

IEEE Access, 2019

Automated Security Management for Virtual Services.

Matteo Repetto, Alessandro Carrega, Jalolliddin Yusupov, Fulvio Valenza, Fulvio Risso, Guerino Lamanna

Proceedings of the IEEE Conference on Network Function Virtualization and Software Defined Networks, 2019

Towards a fully automated and optimized network security functions orchestration.

Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov

Proceedings of the 2019 4th International Conference on Computing, 2019

2018

Formally verified latency-aware VNF placement in industrial Internet of things.

Guido Marchetto, Riccardo Sisto, Jalolliddin Yusupov, Adlen Ksentini

Proceedings of the 14th IEEE International Workshop on Factory Communication Systems, 2018

Multi-Objective Function Splitting and Placement of Network Slices in 5G Mobile Networks.

Jalolliddin Yusupov, Adlen Ksentini, Guido Marchetto, Riccardo Sisto

Proceedings of the 2018 IEEE Conference on Standards for Communications and Networking, 2018

Virtual Network Embedding with Formal Reachability Assurance.

Guido Marchetto, Riccardo Sisto, Jalolliddin Yusupov, Adlen Ksentini

Proceedings of the 14th International Conference on Network and Service Management, 2018

2017

A Framework for User-Friendly Verification-Oriented VNF Modeling.

Guido Marchetto, Riccardo Sisto, Matteo Virgilio, Jalolliddin Yusupov

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017