Professore Ordinario
Dipartimento di Automatica e Informatica (DAUIN)
- Componente Centro Interdipartimentale SmartData@PoliTO - Big Data and Data Science Laboratory
Profilo
Interessi di ricerca
Biografia
Laureato in Ingegneria Elettronica (Politecnico di Torino, 1987), Dottore di Ricerca in Ingegneria Informatica e dei Sistemi (Politecnico di Torino, 1992). Ricercatore Universitario (Politecnico di Torino, 1995-1998), Professore Associato (Politecnico di Torino, 1998-2003), Professore Straordinario (Politecnico di Torino, 2004-2006). Professore Ordinario di Sistemi di Elaborazione delle Informazioni (Politecnico di Torino 2007-). Esperto di metodi formali, applicati all'ingegneria dei protocolli di comunicazione, all'ingegneria del software, alle reti di calcolatori, ai sistemi distribuiti e alla cyber-security. Autore o co-autore di oltre 150 pubblicazioni scientifiche. Metriche Google Scholar: oltre 3000 citazioni, h-index 30. Responsabile del gruppo di ricerca "NetGroup" del Dipartimento di Automatica e Informatica del Politecnico di Torino. "Professional Member ACM " (1999-), "Senior Member ACM" (2010-).
Settore scientifico discliplinare
(Area 0009 - Ingegneria industriale e dell'informazione)
Competenze
Settori ERC
Premi e riconoscimenti
- ICICS Best Demo Award conferito da International Conference on Information and Communications Security (ICICS) (2022)
- IEEE HPSR Best Paper Award Finalist conferito da IEEE (2014)
- High Honor Paper Award at IEEE AINA conferito da IEEE Conference on Advanced Information Networking and Applications (2004)
Partecipazioni scientifiche
- Fellow (riconoscimento scientifico) - ACM, Stati Uniti (2010-)
ACM Senior member
Comitati editoriali
- ELECTRONICS (2020-), Membro del Comitato Editoriale
Congressi
- IEEE 1st International Forum on Research and Technologies for Society and Industry (RTSI) (1/1/2015-18/9/2015), Program chair (presidente/responsabile del comitato scientifico)
Altri incarichi di ricerca o didattica esterni
- 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)
Didattica
Collegi di Dottorato
- 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 dei Corsi di Studio
Insegnamenti
Dottorato di ricerca
- Formal verification of concurrent and distributed software and systems. A.A. 2024/25, INGEGNERIA INFORMATICA E DEI SISTEMI. Titolare del corso
- Formal verification of concurrent and distributed software and systems. A.A. 2022/23, INGEGNERIA INFORMATICA E DEI SISTEMI. Titolare del corso
- Formal verification of concurrent and distributed software and systems. A.A. 2020/21, INGEGNERIA INFORMATICA E DEI SISTEMI. Titolare del corso
- Formal verification of concurrent and distributed software and systems. A.A. 2019/20, INGEGNERIA INFORMATICA E DEI SISTEMI. Titolare del corso
Corso di laurea magistrale
- 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
- Distributed programming II. A.A. 2019/20, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Formal languages and compilers. A.A. 2019/20, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
Ricerca
Gruppi di ricerca
Progetti di ricerca
Progetti finanziati da bandi competitivi
- 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
Ricerca UE - 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
Ricerca UE - JTI - Clean Sky - VeTeSS - VETESS - VERIFICATION AND TESTING TO SUPPORT FUNCTIONAL SAFETY STANDARDS, (2012-2015) - Responsabile Scientifico
Ricerca UE - JTI ARTEMIS - SISMA - SICUREZZA FUNZIONALE DEI SISTEMI MECCATRONICI AUTOMOTIVE, (2010-2012) - Responsabile Scientifico
Ricerca Regionale - Poli di Innovazione - WI FACT - SOLUZIONI INNOVATIVE DI CONTROLLO DI FABBRICA BASATE SU NUOVI PARADIGMI DI COMUNICAZIONE, (2009-2012) - Responsabile Scientifico
Ricerca Nazionale - FAR - ESPERIMENTO DI METEOROLOGIA SPAZIALE CON UN RAZZO SONDA NASA: CALIBRAZIONI E COLLAUDO, (2005-2008) - Responsabile Scientifico
Ricerca Regionale
Progetti finanziati da contratti commerciali
- EXEMPLUM – Modelli avanzati di gestione delle tecnologie industriali, (2025-2026) - Responsabile Scientifico
Consulenza commerciale - DIGITALEVO – Evoluzione Digitale dei Processi di Vendita, (2025-2025) - Responsabile Scientifico
Consulenza commerciale - Piano Formativo I.CO.S. - Innovare e COmpetere con nuove Soluzioni digitali, (2024-2025) - Responsabile Scientifico
Consulenza commerciale - Evoluzione Sonda Wi-Fi, (2024-2024) - Responsabile Scientifico
Ricerca Commerciale - Sviluppo di conoscenza in ambito cloud e cybersecurity, (2024-2025) - Responsabile Scientifico
Ricerca Commerciale - Performance Monitoring in ambiente L4S, (2023-2023) - Responsabile Scientifico
Ricerca Commerciale - rogettazione – Monitoraggio – Valutazione piano AVI/009/22D – Smart Logistic e Cyber Security nei trasporti, (2023-2024) - Responsabile Scientifico
Consulenza commerciale - QUIC Performance Monitoring 2022, (2022-2022) - Responsabile Scientifico
Ricerca Commerciale - Evoluzione Sonda Wi-Fi, (2022-2023) - Responsabile Scientifico
Ricerca Commerciale - Sviluppo di conoscenza in ambito cloud e cybersecurity, (2022-2023) - Responsabile Scientifico
Ricerca Commerciale - Big Data Performance Monitoring, (2021-2021) - Responsabile Scientifico
Ricerca Commerciale - Functional Safety in Embedded Design and Industrial Automation, (2020-2020) - Responsabile Scientifico
Consulenza commerciale - Big Data Performance Monitoring, (2020-2020) - Responsabile Scientifico
Ricerca Commerciale - Monitoraggio progetto per la realizzazione di un’applicazione mobile per la gestione del ritiro e conferimento del materiale da smaltire, (2019-2020) - Responsabile Scientifico
Ricerca Commerciale - Big Data Performance Monitoring, (2019-2019) - Responsabile Scientifico
Ricerca Commerciale - Implementazione del Performance Monitoring passivo delle reti tramite la tecnologia AM/PM, (2018-2018) - Responsabile Scientifico
Ricerca Commerciale - Sviluppo di conoscenza in ambito cloud e microservizi, (2017-2019) - Responsabile Scientifico
Ricerca Commerciale - Monitoraggio passivo delle prestazioni IP di servizi virtualizzati secondo la metodologia PNPM, (2017-2017) - Responsabile Scientifico
Ricerca Commerciale - STUDIO E REALIZZAZIONE DI UNA PIATTAFORMA PER LO SVILUPPO ED EROGAZIONE DI SERVIZI INFORMATICI SECONDO IL MODELLO SAAS, (2010-2011) - Responsabile Scientifico
Ricerca Commerciale
Dottorandi
- Rosario Rizza. Corso in Ingegneria Informatica E Dei Sistemi (40o ciclo, 2024-in corso)
Argomento della ricerca: Sicurezza delle Estensioni del Kernel Linux per l’Elaborazione Rapida dei Pacchetti
Cybersecurity Cybersecurity - Francesco Pizzato. Corso in Ingegneria Informatica E Dei Sistemi (39o ciclo, 2023-in corso)
Argomento della ricerca: Automazione ed ottimizzazione della sicurezza in ambienti cloud
Cybersecurity Parallel and distributed systems, Quantum computing Cybersecurity Parallel and distributed systems, Quantum computing - Simone Bussa. Corso in Ingegneria Informatica E Dei Sistemi (37o ciclo, 2021-2025)
Tesi: Formal Cybersecurity Techniques for Cyber-Physical Systems
Computer architectures and Computer aided design Cybersecurity Computer architectures and Computer aided design Cybersecurity
Pubblicazioni
Pubblicazioni per tipo
Coautori PoliTO
Pubblicazioni degli ultimi anni
Pubblicazioni degli ultimi anni Vedi tutte le pubblicazioni su 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; 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 - 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) - 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 - 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 - 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; 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) - 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 - 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; Sisto, Riccardo; Valenza, Fulvio (2023)
A demonstration of VEREFOO: an automated framework for virtual firewall configuration. In: 2023 IEEE 9th Conference on Network Softwarization (NetSoft 2023), Madrid (ES), 19-23 June 2023, pp. 293-295. ISBN: 979-8-3503-9980-6
Contributo in Atti di Convegno (Proceeding) - Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio (2023)
Towards Security Automation in Virtual Networks. In: 2023 IEEE 9th Conference on Network Softwarization (NetSoft 2023), Madrid (ES), 19-23 June 2023, pp. 326-331. ISBN: 979-8-3503-9980-6
Contributo in Atti di Convegno (Proceeding) - Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio (2023)
Automating the configuration of firewalls and channel protection systems in virtual networks. In: 2023 IEEE 9th Conference on Network Softwarization (NetSoft 2023), Madrid (ES), 19-23 June 2023, pp. 474-479. ISBN: 979-8-3503-9980-6
Contributo in Atti di Convegno (Proceeding) - Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio (2023)
Security automation for multi-cluster orchestration in Kubernetes. In: 2023 IEEE 9th Conference on Network Softwarization (NetSoft 2023), Madrid (ES), 19-23 June 2023, pp. 480-485. ISBN: 979-8-3503-9980-6
Contributo in Atti di Convegno (Proceeding) - Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin (2023)
Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols. In: Handbook of Formal Analysis and Verification in Cryptography / Akleylek S., Dundua B., S.L., CRC Press. ISBN: 978-0-367-54665-6
Contributo in Volume - Bringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio (2023)
A novel abstraction for security configuration in virtual networks. In: COMPUTER NETWORKS, vol. 228, pp. 1-13. ISSN 1389-1286
Contributo su Rivista - Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio (2023)
Formal Verification of a V2X Privacy Preserving Scheme Using Proverif. In: 2023 IEEE International Conference on Cyber Security and Resilience (CSR), Venice (IT), 31 July 2023 - 02 August 2023, pp. 341-346. ISBN: 979-8-3503-1170-9
Contributo in Atti di Convegno (Proceeding) - Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio (2023)
Formal verification of the FDO protocol. In: IEEE International Conference on Standards for Communications and Networking (CSCN 2023), Munich (DEU), 06-08 November 2023, pp. 290-295. ISBN: 979-8-3503-9538-9
Contributo in Atti di Convegno (Proceeding) - Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, ... (2023)
Automated firewall configuration in virtual networks. In: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, vol. 20, pp. 1559-1576. ISSN 1545-5971
Contributo su Rivista
Società e imprese
Brevetti e altre proprietà intellettuali
- PROTECTION OF IN-VEHICLE SERVICES WITH A SECURITY-EXTENDED SOME/IP PROTOCOL. Brevetto nazionale e internazionale
Inventori: Fulvio Giovanni Ottavio Risso Riccardo Sisto Fulvio Valenza