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). 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 2500 citazioni, h-index 22, i-10 index 52. 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) (16/9/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. 2018/19, 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. 2020/21, 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
Corso di laurea magistrale
- Distributed programming II. A.A. 2017/18, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Distributed programming II. A.A. 2018/19, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Distributed programming II. A.A. 2019/20, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Distributed systems programming. A.A. 2020/21, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Distributed systems programming. A.A. 2021/22, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Distributed systems programming. A.A. 2022/23, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Distributed systems programming. A.A. 2023/24, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Security verification and testing. A.A. 2020/21, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Security verification and testing. A.A. 2021/22, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Security verification and testing. A.A. 2022/23, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Security verification and testing. A.A. 2023/24, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Formal languages and compilers. A.A. 2019/20, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Formal languages and compilers. A.A. 2020/21, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Formal languages and compilers. A.A. 2021/22, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Formal languages and compilers. A.A. 2022/23, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Formal languages and compilers. A.A. 2023/24, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Distributed programming I. A.A. 2017/18, 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
- ASTIB - 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
- Sviluppo di conoscenza in ambito cloud e cybersecurity , (2022-2023) - Responsabile Scientifico
Ricerca Commerciale - QUIC Performance Monitoring 2022 , (2022-2022) - Responsabile Scientifico
Ricerca Commerciale - Evoluzione Sonda Wi-Fi , (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)
- Simone Bussa. Corso in Ingegneria Informatica E Dei Sistemi (37o ciclo, 2021-in corso)
- 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; 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; 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 - 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 (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) - 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 - 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 - Bringhenti, D.; Marchetto, G.; Sisto, R.; Valenza, F. (2021)
A novel approach for security function graph configuration and deployment. In: 7th IEEE International Conference on Network Softwarization, NetSoft 2021, 2021, pp. 457-463. ISBN: 978-1-6654-0522-5
Contributo in Atti di Convegno (Proceeding) - Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Spinoso, Serena; Valenza, ... (2021)
Improving the formal verification of reachability policies in virtualized networks. In: IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT, vol. 18, pp. 713-728. ISSN 1932-4537
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