Ph.D. in Ingegneria Informatica E Dei Sistemi , 32nd cycle (2016-2019)
Ph.D. obtained in 2020
Dissertation:
Formal assurance of security policies in automated network orchestration (SDN/NFV) (Abstract)
Tutors:
Riccardo Sisto
Research presentation:
Video presentationProfile
Research topic
Formal assurance of security policies in automated network orchestration (SDN/NFV)
Research interests
Biography
Teaching
Teachings
Master of Science
- Computer network technologies and services. A.A. 2017/18, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Computer network technologies and services. A.A. 2018/19, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Computer network technologies and services. A.A. 2019/20, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Distributed programming II. A.A. 2017/18, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Distributed programming II. A.A. 2018/19, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Distributed programming II. A.A. 2019/20, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
Bachelor of Science
- Computer networks. A.A. 2018/19, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
Publications
Works published during the Ph.D. View all publications in Porto@Iris
- Bringhenti, D.; Marchetto, G.; Sisto, R.; Valenza, F.; Yusupov, J. (2020)
Automated optimal firewall orchestration and configuration in virtualized networks. In: 2020 IEEE/IFIP Network Operations and Management Symposium, NOMS 2020, Budapest (HU), 2020, pp. 1-7. ISBN: 978-1-7281-4973-8
Contributo in Atti di Convegno (Proceeding) - Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, ... (2020)
Introducing programmability and automation in the synthesis of virtual firewall rules. In: 2nd International Workshop on Cyber-Security Threats, Trust and Privacy Management in Software-defined and Virtualized Infrastructures (SecSoft), co-located with 2020 6th IEEE Conference on Network Softwarization (NetSoft), Ghent, Belgium, 2020, pp. 473-478. ISBN: 978-1-7281-5684-2
Contributo in Atti di Convegno (Proceeding) - Yusupov, Jalolliddin (2020)
Formal assurance of security policies in automated network orchestration (SDN/NFV). relatore: SISTO, Riccardo; , 32. XXXII Ciclo, P.: 130
Doctoral Thesis - Repetto, M.; Carrega, A.; Yusupov, J.; Valenza, F.; Risso, F.; Lamanna, G. (2019)
Automated Security Management for Virtual Services. In: 2019 IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN)
Contributo in Atti di Convegno (Proceeding) - Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin (2019)
A Framework for Verification-Oriented User-Friendly Network Function Modeling. In: IEEE ACCESS, vol. 7, pp. 99349-99359. ISSN 2169-3536
Contributo su Rivista - Marchetto, G.; Sisto, R.; Virgilio, M.; Yusupov, J. (2019)
A VNF modeling approach for verification purposes. In: INTERNATIONAL JOURNAL OF ELECTRICAL AND COMPUTER ENGINEERING, vol. 9, pp. 2627-2636. ISSN 2088-8708
Contributo su Rivista - Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, ... (2019)
Towards a fully automated and optimized network security functions orchestration. In: 4th IEEE International Conference on Computing, Communications and Security, Rome, Italy, October 2019, pp. 1-7. ISBN: 978-1-7281-0875-9
Contributo in Atti di Convegno (Proceeding) - Yusupov, J.; Ksentini, A.; Marchetto, G.; Sisto, R. (2018)
Multi-Objective Function Splitting and Placement of Network Slices in 5G Mobile Networks. In: 2018 IEEE Conference on Standards for Communications and Networking, CSCN 2018, fra, 2018, pp. 1-6. ISBN: 978-1-5386-8146-6
Contributo in Atti di Convegno (Proceeding) - Marchetto, G.; Sisto, R.; Yusupov, J.; Ksentini, A. (2018)
Virtual Network Embedding with Formal Reachability Assurance. In: 14th International Conference on Network and Service Management, CNSM 2018 and Workshops, 1st International Workshop on High-Precision Networks Operations and Control, HiPNet 2018 and 1st Workshop on Segment Routing and Service Function Chaining, SR+SFC 2, ita, 2018, pp. 368-372
Contributo in Atti di Convegno (Proceeding)