A Framework for User-Friendly Verification-Oriented VNF Modeling. - Guido Marchetto; Riccardo Sisto; Matteo Virgilio; Jalolliddin Yusupov (COMPSAC (1), 2017)

Virtual Network Embedding with Formal Reachability Assurance. - Guido Marchetto; Riccardo Sisto; Jalolliddin Yusupov; Adlen Ksentini (CNSM, 2018)

Multi-Objective Function Splitting and Placement of Network Slices in 5G Mobile Networks. - Jalolliddin Yusupov; Adlen Ksentini; Guido Marchetto; Riccardo Sisto (CSCN, 2018)

Formally verified latency-aware VNF placement in industrial Internet of things. - Guido Marchetto; Riccardo Sisto; Jalolliddin Yusupov; Adlen Ksentini (WFCS, 2018)

Towards a fully automated and optimized network security functions orchestration. - Daniele Bringhenti; Guido Marchetto; Riccardo Sisto; Fulvio Valenza; Jalolliddin Yusupov (ICCCS, 2019)

Automated Security Management for Virtual Services. - Matteo Repetto; Alessandro Carrega; Jalolliddin Yusupov; Fulvio Valenza; Fulvio Risso; Guerino Lamanna (NFV-SDN, 2019)

A Framework for Verification-Oriented User-Friendly Network Function Modeling. - Guido Marchetto; Riccardo Sisto; Fulvio Valenza; Jalolliddin Yusupov (IEEE Access, 2019)

Introducing programmability and automation in the synthesis of virtual firewall rules. - Daniele Bringhenti; Guido Marchetto; Riccardo Sisto; Fulvio Valenza; Jalolliddin Yusupov (NetSoft, 2020)

Automated optimal firewall orchestration and configuration in virtualized networks. - Daniele Bringhenti; Guido Marchetto; Riccardo Sisto; Fulvio Valenza; Jalolliddin Yusupov (NOMS, 2020)

Leveraging the 5G architecture to mitigate amplification attacks. - Matteo Repetto; Alessandro Carrega; Guerino Lamanna; Jalolliddin Yusupov; Orazio Toscano; Gianmarco Bruno; Michele Nuovo; Marco Cappelli (NetSoft, 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)

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)

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)

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)

Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols. - Daniele Bringhenti; Riccardo Sisto; Fulvio Valenza; Jalolliddin Yusupov (Handb. Formal Anal. Verification Cryptogr., 2023)

Automated Firewall Configuration in Virtual Networks. - Daniele Bringhenti; Guido Marchetto; Riccardo Sisto; Fulvio Valenza; Jalolliddin Yusupov (IEEE Trans. Dependable Secur. Comput., 2023)