Fulvio Valenza

• Automated Techniques for Network Security Management and Policy Enforcement: The increasing complexity of enterprise, cloud, and IoT networks requires the automation of security management processes. This research line focuses on tools, frameworks, and algorithms for automating the configuration, validation, and monitoring of network security policies. Activities include the use of formal verification, machine learning, and policy mining to reduce human error and increase operational agility. Technologies analyzed range from firewalls and SDN to security orchestration systems in virtualized environments. Collaborations with industrial partners and public institutions support the real-world application of the developed solutions. Among the main initiatives is the Verefoo project, an open-source tool for the automated definition and verification of network security policies.

ERC sectors

SDG

• IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT (2022-), Associate Editor of magazine or editorial series
• IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT (2021-2022), Guest Editor of magazine or editorial series
• COMPUTER NETWORKS (2020-2021), Guest Editor of magazine or editorial series

• 2nd IEEE International Workshop on Cyber-Security in Software-defined and Virtualized Infrastructures (SECSOFT2020),, Program chair

• Collegio di Ingegneria Informatica, del Cinema e Meccatronica. Componente

PhD

• Security of next generation networks. A.A. 2025/26, INGEGNERIA INFORMATICA E DEI SISTEMI. Main teacher
• Toolkit for PhD in Computer and Control Engineering. A.A. 2025/26, INGEGNERIA INFORMATICA E DEI SISTEMI. Main teacher
• Security of next generation networks. A.A. 2024/25, INGEGNERIA INFORMATICA E DEI SISTEMI. Main teacher
• Security of next generation networks. A.A. 2023/24, INGEGNERIA INFORMATICA E DEI SISTEMI. Main teacher
• Security of next generation networks. A.A. 2022/23, INGEGNERIA INFORMATICA E DEI SISTEMI. Main teacher
• Security of next generation networks. A.A. 2021/22, INGEGNERIA INFORMATICA E DEI SISTEMI. Main teacher

Master of Science

• Threat Intelligence and Incident Management. A.A. 2025/26, CYBERSECURITY. Titolare del corso
• Networks & Cloud Technologies and Security (modulo di Computer networks and cloud technologies). A.A. 2025/26, CYBERSECURITY ENGINEERING. Collaboratore del corso
• Networks & Cloud Technologies and Security (modulo di Network and Cloud Security). A.A. 2025/26, CYBERSECURITY ENGINEERING. Titolare del corso
• Data protection, Privacy and Anonymity. A.A. 2025/26, CYBERSECURITY. Titolare del corso
• Networks & Cloud Technologies and Security (modulo di Computer networks and cloud technologies). A.A. 2024/25, CYBERSECURITY. Collaboratore del corso
• Networks & Cloud Technologies and Security (modulo di Network and Cloud Security). A.A. 2024/25, CYBERSECURITY. Titolare del corso
• Data protection, Privacy and Anonymity. A.A. 2024/25, CYBERSECURITY. Titolare del corso
• Networks, cloud and application security (modulo di Computer networks and cloud technologies). A.A. 2023/24, CYBERSECURITY. Titolare del corso
• Networks, cloud and application security (modulo di Networks, cloud, and application security). A.A. 2023/24, CYBERSECURITY. Titolare del corso
• Tecnologie e servizi di rete. A.A. 2022/23, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Tecnologie e servizi di rete. A.A. 2022/23, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
• Computer network technologies and services. A.A. 2021/22, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Tecnologie e servizi di rete. A.A. 2021/22, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
• Cloud Computing. A.A. 2020/21, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Computer network technologies and services. A.A. 2020/21, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Tecnologie e servizi di rete. A.A. 2020/21, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Cloud Computing. A.A. 2019/20, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso

Bachelor of Science

• Reti di calcolatori. A.A. 2022/23, INGEGNERIA INFORMATICA. Collaboratore del corso
• Reti di calcolatori. A.A. 2022/23, INGEGNERIA DEL CINEMA E DEI MEZZI DI COMUNICAZIONE. Collaboratore del corso
• Reti di calcolatori. A.A. 2021/22, INGEGNERIA INFORMATICA. Collaboratore del corso
• Reti di calcolatori. A.A. 2020/21, INGEGNERIA INFORMATICA. Collaboratore del corso
• Informatica. A.A. 2019/20, INGEGNERIA AEROSPAZIALE. Collaboratore del corso

• NETGROUP - Computer Networks Group (DAUIN)

Projects funded by competitive calls

• MIRANDA - Monitoring, Investigation and Response to cyber-attacks with an Adaptive digital twiN moDel for Agile services over the computing continuum , (2024-2027) - Componente gruppo di Ricerca
  UE-funded research - HE - Global Challenges - Civil Security for Society

Projects funded by commercial contracts

• Cybersecurity, (periodo sconosciuto) - Responsabile Scientifico
  Commercial contracts for the provision of services
• Organizzazione e realizzazione di uno degli incontri dei seminari “ESCAPE” nell’ambito cybersecurity, (2024-2024) - Responsabile Scientifico
  Sponsorship
• Organizzazione e realizzazione di uno degli incontri dei seminari “ESCAPE” nell’ambito cybersecurity, (2024-2024) - Responsabile Scientifico
  Sponsorship
• Organizzazione e realizzazione di uno degli incontri dei seminari “ESCAPE” nell’ambito cybersecurity, (2024-2024) - Responsabile Scientifico
  Sponsorship

• Gianmarco Bachiorrini. Programme in Ingegneria Informatica E Dei Sistemi (40^th cycle, 2024-in progress)
  Research subject: Adaptive, Agile and Automated Cybersecurity Management
  
  Cybersecurity
  Cybersecurity
• Rosario Rizza. Programme in Ingegneria Informatica E Dei Sistemi (40^th cycle, 2024-in progress)
• Francesco Pizzato. Programme in Ingegneria Informatica E Dei Sistemi (39^th cycle, 2023-in progress)
  Research subject: Security automation and optimization in cloud environments
  
  Cybersecurity
  Parallel and distributed systems, Quantum computing
  Cybersecurity
  Parallel and distributed systems, Quantum computing
• Simone Bussa. Programme in Ingegneria Informatica E Dei Sistemi (37^th cycle, 2021-2025)
  Thesis: Formal Cybersecurity Techniques for Cyber-Physical Systems
  
  Computer architectures and Computer aided design
  Cybersecurity
  Computer architectures and Computer aided design
  Cybersecurity

• Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin; Ksentini, Adlen (2021)
  A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks. In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, vol. 17, pp. 1515-1525. ISSN 1551-3203
  Contributo su Rivista
• Iorio, Marco; Reineri, Massimo; Risso, Fulvio; Sisto, Riccardo; Valenza, Fulvio (2020)
  Securing SOME/IP for In-Vehicle Service Protection. In: IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY, vol. 69, pp. 13450-13466. ISSN 0018-9545
  Contributo su Rivista
• Basile, Cataldo; Valenza, Fulvio; Lioy, Antonio; Lopez, Diego R.; Pastor Perales, Antonio (2019)
  Adding Support for Automatic Enforcement of Security Policies in NFV Networks. In: IEEE-ACM TRANSACTIONS ON NETWORKING, vol. 27, pp. 707-720. ISSN 1063-6692
  Contributo su Rivista
• Valenza, Fulvio; Basile, Cataldo; Canavese, Daniele; Lioy, Antonio (2017)
  Classification and analysis of communication protection policy anomalies. In: IEEE-ACM TRANSACTIONS ON NETWORKING, vol. 25, pp. 2601-2614. ISSN 1063-6692
  Contributo su Rivista
• Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano (2019)
  A comprehensive approach to the automatic refinement and verification of access control policies. In: COMPUTERS & SECURITY, vol. 80, pp. 186-199. ISSN 0167-4048
  Contributo su Rivista

• PROTECTION OF IN-VEHICLE SERVICES WITH A SECURITY-EXTENDED SOME/IP PROTOCOL. national and international Patent
  Inventors: Fulvio Giovanni Ottavio Risso Riccardo Sisto Fulvio Valenza