Professore Ordinario
Dipartimento di Automatica e Informatica (DAUIN)
- Membro 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)
Comitati editoriali
- ELECTRONICS (2020-), Membro del Comitato Editoriale
Congressi
- IEEE 1st International Forum on Research and Technologies for Society and Industry (RTSI), 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
- 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
- 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
- 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 - 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
- Evoluzione Sonda Wi-Fi, (2022-2023) - Responsabile Scientifico
Ricerca Commerciale - Sviluppo di conoscenza in ambito cloud e cybersecurity, (2022-2023) - Responsabile Scientifico
Ricerca Commerciale - QUIC Performance Monitoring 2022, (2022-2022) - 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
- Simone Bussa. Corso in Ingegneria Informatica E Dei Sistemi (ciclo 37, 2021-in corso)
- Daniele Bringhenti. Corso in Ingegneria Informatica E Dei Sistemi (ciclo 35, 2019-2022)
Tesi: Network Security Automation
Formal methods and theory of security Network architectures
Pubblicazioni
Coautori PoliTO
Pubblicazioni degli ultimi anni Vedi tutte le pubblicazioni su Porto@Iris
- 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, 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 - 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)
Società e imprese
Brevetti e altre proprietà intellettuali
- PROTECTION OF IN-VEHICLE SERVICES WITH A SECURITY-EXTENDED SOME/IP PROTOCOL. Brevetto nazionale e internazionale - Responsabile Scientifico
Ricerca Commerciale