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 120 pubblicazioni scientifiche. Metriche Google Scholar: oltre 3000 citazioni, h-index 28, i-10 index 65. 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, 2021/2022 (38. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2020/2021 (37. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2019/2020 (36. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2018/2019 (35. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2017/2018 (34. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2012/2013 (29. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2011/2012 (28. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2010/2011 (27. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2009/2010 (26. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2008/2009 (25. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2007/2008 (24. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2006/2007 (23. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2005/2006 (22. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2004/2005 (21. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2003/2004 (20. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2002/2003 (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
- Formal verification of concurrent and distributed software and systems. A.A. 2018/19, INGEGNERIA INFORMATICA E DEI SISTEMI. Titolare del corso
Corso di laurea magistrale
- 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
- Distributed programming II. A.A. 2018/19, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Distributed programming I. A.A. 2018/19, 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
- Piano Formativo I.CO.S. - Innovare e COmpetere con nuove Soluzioni digitali, (2024-2025) - Responsabile Scientifico
Consulenza commerciale - Sviluppo di conoscenza in ambito cloud e cybersecurity, (2024-2025) - Responsabile Scientifico
Ricerca Commerciale - Evoluzione Sonda Wi-Fi, (2024-2024) - 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
- 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-in corso)
Argomento della ricerca: Formal Techniques for Cyber Physical Systems
Computer architectures and Computer aided design Cybersecurity Computer architectures and Computer aided design Cybersecurity - Daniele Bringhenti. Corso in Ingegneria Informatica E Dei Sistemi (35o ciclo, 2019-2022)
Tesi: Network Security Automation
Pubblicazioni
Pubblicazioni per tipo
Coautori PoliTO
Pubblicazioni degli ultimi anni
Pubblicazioni degli ultimi anni Vedi tutte le pubblicazioni su Porto@Iris
- 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; 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)
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)
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; 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)
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; 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; 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)
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; 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 - 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; 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)
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) - Bringhenti, Daniele; Yusupov, Jalolliddin; Zarca, Alejandro Molina; Valenza, Fulvio; ... (2022)
Automatic, verifiable and optimized policy-based security enforcement for SDN-aware IoT networks. In: COMPUTER NETWORKS, vol. 213, pp. 109-123. ISSN 1389-1286
Contributo su Rivista - Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio (2022)
Security Automation using Traffic Flow Modeling. In: IEEE 8th International Conference on Network Softwarization (NetSoft 2022 ), Milano, pp. 486-491. ISBN: 978-1-6654-0694-9
Contributo in Atti di Convegno (Proceeding)
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