Full Professor
Department of Control and Computer Engineering (DAUIN)
- Member of Interdepartmental Center SmartData@PoliTO - Big Data and Data Science Laboratory
Profile
Research interests
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. Autthor or co-author of 120+ scientific publications. Google Scholar Metrics: 2500+ citations, h-index 22, i-10 index 52.
Group Leader of the "NetGroup" research group, Department of Control and Computer Engineering, Politecnico di Torino.
"Professional Member ACM " (1999-), "Senior Member ACM" (2010-).
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)
Editorial boards
- ELECTRONICS (2020-), Editorial board member
Conferences
- IEEE 1st International Forum on Research and Technologies for Society and Industry (RTSI), 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
PhD Boards
- 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
Courses of Study Boards
Teachings
PhD
- Formal verification of concurrent and distributed software and systems. A.A. 2018/19, INGEGNERIA INFORMATICA E DEI SISTEMI. Main teacher
- Formal verification of concurrent and distributed software and systems. A.A. 2019/20, 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
- Formal verification of concurrent and distributed software and systems. A.A. 2022/23, INGEGNERIA INFORMATICA E DEI SISTEMI. Main teacher
Master of Science
- 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
Research
Research groups
Research projects
Projects funded by competitive calls
- 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
UE-funded research - JTI - Clean Sky - 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
- Evoluzione Sonda Wi-Fi, (2022-2023) - Responsabile Scientifico
Commercial Research - Sviluppo di conoscenza in ambito cloud e cybersecurity, (2022-2023) - Responsabile Scientifico
Commercial Research - QUIC Performance Monitoring 2022, (2022-2022) - 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
- Simone Bussa. Programme in Ingegneria Informatica E Dei Sistemi (cycle 37, 2021-in progress)
- Daniele Bringhenti. Programme in Ingegneria Informatica E Dei Sistemi (cycle 35, 2019-2022)
Thesis: Network Security Automation
Formal methods and theory of security Network architectures
Publications
PoliTO co-authors
Last years publications View all publications in 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 - 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 - 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
Society and Enterprise
Patents and other intellectual properties
- PROTECTION OF IN-VEHICLE SERVICES WITH A SECURITY-EXTENDED SOME/IP PROTOCOL. national and international Patent - Responsabile Scientifico
Commercial Research