Full Professor
Department of Control and Computer Engineering (DAUIN)
- Member of Interdepartmental Center SmartData@PoliTO - Big Data and Data Science Laboratory
- Member Department Council - DAUIN (DAUIN)
Profile
Keywords
Biography
Ms in Electronic Engineering (Politecnico di Torino, 1987), PhD in Computer and System Engineering (Politecnico di Torino, 1992). Researcher (Politecnico di Torino, 1995-1998), Associate Professor (Politecnico di Torino, 1998-2003), Full Professor of Computer Engineering (Politecnico di Torino, 2004-). Expert in formal methods applied to computer protocol engineering, software engineering, computer networks, distributed systems and cyber-security. Author or co-author of 150+ scientific publications. Google Scholar Metrics: 3000+ citations, h-index 30. Group Leader of the "NetGroup" research group, Department of Control and Computer Engineering, Politecnico di Torino. "Professional Member ACM " (1999-), "Senior Member ACM" (2010-).
Scientific branch
(Area 0009 - Industrial and information engineering)
Skills
ERC sectors
Awards and Honors
- High Honor Paper Award at IEEE AINA conferred by IEEE Conference on Advanced Information Networking and Applications (2004)
- IEEE HPSR Best Paper Award Finalist conferred by IEEE (2014)
- ICICS Best Demo Award conferred by International Conference on Information and Communications Security (ICICS) (2022)
Fellowships
- Fellow - ACM, Stati Uniti (2010-)
ACM Senior member
Editorial boards
- ELECTRONICS (2020-), Editorial board member
Conferences
- IEEE 1st International Forum on Research and Technologies for Society and Industry (RTSI) (1/1/2015-18/9/2015), Program chair
Other research or teaching roles outside Politecnico
- Professore Ordinario, presso Turin Polytechnic University in Tashkent (24/3/2014-12/4/2014)
- Professore Ordinario, presso Turin Polytechnic University in Tashkent (24/3/2014-12/4/2014)
Teaching
Collegi of the PhD programmes
- INGEGNERIA INFORMATICA E DEI SISTEMI, 2025/2026 (41. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2024/2025 (40. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2022/2023 (38. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2021/2022 (37. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2020/2021 (36. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2019/2020 (35. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2018/2019 (34. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2013/2014 (29. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2012/2013 (28. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2011/2012 (27. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2010/2011 (26. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2009/2010 (25. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2008/2009 (24. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2007/2008 (23. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2006/2007 (22. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2005/2006 (21. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2004/2005 (20. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2003/2004 (19. ciclo)
Politecnico di TORINO
Collegi of the degree programmes
Teachings
PhD
- Formal verification of concurrent and distributed software and systems. A.A. 2024/25, INGEGNERIA INFORMATICA E DEI SISTEMI. Main teacher
- Formal verification of concurrent and distributed software and systems. A.A. 2022/23, INGEGNERIA INFORMATICA E DEI SISTEMI. Main teacher
- Formal verification of concurrent and distributed software and systems. A.A. 2020/21, INGEGNERIA INFORMATICA E DEI SISTEMI. Main teacher
Master of Science
- Distributed systems programming. A.A. 2025/26, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Formal languages and compilers. A.A. 2025/26, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Security verification and testing. A.A. 2025/26, CYBERSECURITY. Titolare del corso
- Distributed systems programming. A.A. 2024/25, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Formal languages and compilers. A.A. 2024/25, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Security verification and testing. A.A. 2024/25, CYBERSECURITY. Titolare del corso
- Distributed systems programming. A.A. 2023/24, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Formal languages and compilers. A.A. 2023/24, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Security verification and testing. A.A. 2023/24, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Distributed systems programming. A.A. 2022/23, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Formal languages and compilers. A.A. 2022/23, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Security verification and testing. A.A. 2022/23, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Distributed systems programming. A.A. 2021/22, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Formal languages and compilers. A.A. 2021/22, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Security verification and testing. A.A. 2021/22, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Distributed systems programming. A.A. 2020/21, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Security verification and testing. A.A. 2020/21, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Formal languages and compilers. A.A. 2020/21, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
Research
Research groups
Research projects
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) - Responsabile Scientifico
UE-funded research - HE - Global Challenges - Civil Security for Society - ASTIB - JTI-CS2-2014-CPW01-REG-01-01 Development of advanced systems technologies and hardware/software for the Flight Simulator and Iron Bird ground demonstrators for regional aircraft, (2015-2021) - Responsabile Scientifico
UE-funded research - JTI - Clean Sky - VeTeSS - VETESS - VERIFICATION AND TESTING TO SUPPORT FUNCTIONAL SAFETY STANDARDS, (2012-2015) - Responsabile Scientifico
UE-funded research - JTI ARTEMIS - SISMA - SICUREZZA FUNZIONALE DEI SISTEMI MECCATRONICI AUTOMOTIVE, (2010-2012) - Responsabile Scientifico
Regionally funded research - Poli di Innovazione - WI FACT - SOLUZIONI INNOVATIVE DI CONTROLLO DI FABBRICA BASATE SU NUOVI PARADIGMI DI COMUNICAZIONE, (2009-2012) - Responsabile Scientifico
Nationally funded research - FAR - ESPERIMENTO DI METEOROLOGIA SPAZIALE CON UN RAZZO SONDA NASA: CALIBRAZIONI E COLLAUDO, (2005-2008) - Responsabile Scientifico
Regionally funded research
Projects funded by commercial contracts
- EXEMPLUM – Modelli avanzati di gestione delle tecnologie industriali, (2025-2026) - Responsabile Scientifico
Consulting - DIGITALEVO – Evoluzione Digitale dei Processi di Vendita, (2025-2025) - Responsabile Scientifico
Consulting - Piano Formativo I.CO.S. - Innovare e COmpetere con nuove Soluzioni digitali, (2024-2025) - Responsabile Scientifico
Consulting - Evoluzione Sonda Wi-Fi, (2024-2024) - Responsabile Scientifico
Commercial Research - Sviluppo di conoscenza in ambito cloud e cybersecurity, (2024-2025) - Responsabile Scientifico
Commercial Research - Performance Monitoring in ambiente L4S, (2023-2023) - Responsabile Scientifico
Commercial Research - rogettazione – Monitoraggio – Valutazione piano AVI/009/22D – Smart Logistic e Cyber Security nei trasporti, (2023-2024) - Responsabile Scientifico
Consulting - QUIC Performance Monitoring 2022, (2022-2022) - Responsabile Scientifico
Commercial Research - Evoluzione Sonda Wi-Fi, (2022-2023) - Responsabile Scientifico
Commercial Research - Sviluppo di conoscenza in ambito cloud e cybersecurity, (2022-2023) - Responsabile Scientifico
Commercial Research - Big Data Performance Monitoring, (2021-2021) - Responsabile Scientifico
Commercial Research - Functional Safety in Embedded Design and Industrial Automation, (2020-2020) - Responsabile Scientifico
Consulting - Big Data Performance Monitoring, (2020-2020) - Responsabile Scientifico
Commercial Research - Monitoraggio progetto per la realizzazione di un’applicazione mobile per la gestione del ritiro e conferimento del materiale da smaltire, (2019-2020) - Responsabile Scientifico
Commercial Research - Big Data Performance Monitoring, (2019-2019) - Responsabile Scientifico
Commercial Research - Implementazione del Performance Monitoring passivo delle reti tramite la tecnologia AM/PM, (2018-2018) - Responsabile Scientifico
Commercial Research - Sviluppo di conoscenza in ambito cloud e microservizi, (2017-2019) - Responsabile Scientifico
Commercial Research - Monitoraggio passivo delle prestazioni IP di servizi virtualizzati secondo la metodologia PNPM, (2017-2017) - Responsabile Scientifico
Commercial Research - STUDIO E REALIZZAZIONE DI UNA PIATTAFORMA PER LO SVILUPPO ED EROGAZIONE DI SERVIZI INFORMATICI SECONDO IL MODELLO SAAS, (2010-2011) - Responsabile Scientifico
Commercial Research
Supervised PhD students
- Rosario Rizza. Programme in Ingegneria Informatica E Dei Sistemi (40th cycle, 2024-in progress)
Research subject: Security of Linux Kernel Extensions for Fast Packet Processing
Cybersecurity Cybersecurity - Francesco Pizzato. Programme in Ingegneria Informatica E Dei Sistemi (39th 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 (37th 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
Publications
Publications by type
PoliTO co-authors
Last years publications
Last years publications View all publications in Porto@Iris
- Pizzato, Francesco; Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio (2026)
Intent-driven network isolation for the cloud computing continuum. In: JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT, vol. 34, pp. 1-39. ISSN 1064-7570
Contributo su Rivista - Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio (2026)
Toward Correctness by Construction for Network Security Configuration. In: The 8th International Conference, MobiSec 2024, Sapporo, Japan, December 17–19, 2024, Sapporo (JPN), December 17–19, 2024, pp. 391-404. ISSN 1865-0929. ISBN: 9789819501717
Contributo in Atti di Convegno (Proceeding) - Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio (2025)
Automating VPN Configuration in Computer Networks. In: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, vol. 22, pp. 561-578. ISSN 1545-5971
Contributo su Rivista - Bringhenti, Daniele; Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio (2025)
Atomizing Firewall Policies for Anomaly Analysis and Resolution. In: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, vol. 22, pp. 2308-2325. ISSN 1545-5971
Contributo su Rivista - Bringhenti, Daniele; Pizzato, Francesco; Sisto, Riccardo; Valenza, Fulvio (2025)
Autonomous attack mitigation through firewall reconfiguration. In: INTERNATIONAL JOURNAL OF NETWORK MANAGEMENT, vol. 35, pp. 1-18. ISSN 1099-1190
Contributo su Rivista - Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio (2025)
Formal verification of a V2X scheme mixing traditional PKI and group signatures. In: OPEN JOURNAL OF INFORMATION SECURITY AND APPLICATIONS, vol. 89. ISSN 2374-6262
Contributo su Rivista - Rizza, Rosario; Sisto, Riccardo; Valenza, Fulvio (2025)
Design and implementation of a tool to improve error reporting for eBPF code. In: 2025 IEEE International Conference on Cyber Security and Resilience (CSR), Crete (GR), 04-06 August 2025, pp. 214-219. ISBN: 979-8-3315-3591-9
Contributo in Atti di Convegno (Proceeding) - Pizzato, Francesco; Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio (2024)
Automatic and optimized firewall reconfiguration. In: NOMS 2024-2024 IEEE Network Operations and Management Symposium, Seoul (South Korea), 6–10 May 2024. ISBN: 979-8-3503-2793-9
Contributo in Atti di Convegno (Proceeding) - Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio (2024)
Automation for network security configuration: state of the art and research trends. In: ACM COMPUTING SURVEYS, vol. 56, pp. 1-37. ISSN 0360-0300
Contributo su Rivista - Bringhenti, Daniele; Pizzato, Francesco; Sisto, Riccardo; Valenza, Fulvio (2024)
A looping process for cyberattack mitigation. In: 2024 IEEE International Conference on Cyber Security and Resilience, London (UK), 2-4 September 2024, pp. 276-281. ISBN: 979-8-3503-7536-7
Contributo in Atti di Convegno (Proceeding) - Pizzato, Francesco; Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio (2024)
An intent-based solution for network isolation in Kubernetes. In: 2024 IEEE 10th Conference on Network Softwarization (NetSoft 2024), Saint Louis, MO, USA, 24-28 June 2024, pp. 381-386
Contributo in Atti di Convegno (Proceeding) - Pizzato, Francesco; Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio (2024)
Security Automation in next-generation Networks and Cloud environments. In: NOMS 2024-2024 IEEE Network Operations and Management Symposium, Seoul (South Korea), 06-10 May 2024, pp. 1-4
Contributo in Atti di Convegno (Proceeding) - Bringhenti, Daniele; Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio (2024)
A Two-Fold Traffic Flow Model for Network Security Management. In: IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT, vol. 21, pp. 3740-3758. ISSN 1932-4537
Contributo su Rivista
Intellectual and industrial property
Patents and other intellectual properties
- 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