Formal assurance of security policies in automated network orchestration (SDN/NFV)

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

• 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
• 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)
• 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
• 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
• 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)
• 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, Guido; Sisto, Riccardo; Yusupov, Jalolliddin; Ksentini, Adlen (2018)
  Formally verified latency-aware VNF placement in industrial Internet of things. In: 14th IEEE International Workshop on Factory Communication Systems, WFCS 2018, ita, 2018, pp. 1-9. ISBN: 9781538610664
  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)
• Marchetto, Guido; Sisto, Riccardo; Virgilio, Matteo; Yusupov, Jalolliddin (2017)
  A framework for user-friendly verification-oriented VNF modeling. In: IEEE Computer Software and Applications Conference (COMPSAC), Turin, Italy, July 4-8, 2017, pp. 517-522. ISBN: 978-1-5386-0367-3
  Contributo in Atti di Convegno (Proceeding)