| 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 | 48 | 2022 |
| 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 | 47 | 2020 |
| 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 | 44 | 2019 |
| 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 | 35 | 2020 |
| 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 | 31 | 2022 |
| 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 | 28 | 2018 |
| 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 | 26 | 2018 |
| 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 | 21 | 2020 |
| A framework for verification-oriented user-friendly network function modeling G Marchetto, R Sisto, F Valenza, J Yusupov IEEE Access 7, 99349-99359, 2019 | 21 | 2019 |
| 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 | 14* | 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 | 13 | 2018 |
| 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 | 9 | 2017 |
| 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 | 5 | 2022 |
| 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 | 4 | 2021 |
| 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 | 1 | 2019 |
| 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 | 1 | 2019 |
| Automated Recognition of Uzbekistan Automobile License Plates: A Robust ANPR System A Eraliev, J Yusupov Science and Education 5 (6), 51-60, 2024 | | 2024 |
| 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 |
