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: 3000+ citations, h-index 28, i-10 index 65. Group Leader of the "NetGroup" research group, Department of Control and Computer Engineering, Politecnico di Torino. "Professional Member ACM " (1999-), "Senior Member ACM" (2010-).
Scientific branch
(Area 0009 - Industrial and information engineering)
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)
Fellowships
- Fellow - ACM, Stati Uniti (2010-)
ACM Senior member
Editorial boards
- ELECTRONICS (2020-), Editorial board member
Conferences
- IEEE 1st International Forum on Research and Technologies for Society and Industry (RTSI) (1/1/2015-18/9/2015), 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
Collegi of the PhD programmes
- 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 of the degree programmes
Teachings
PhD
- Formal verification of concurrent and distributed software and systems. A.A. 2024/25, 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
- 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. 2019/20, INGEGNERIA INFORMATICA E DEI SISTEMI. Main teacher
- Formal verification of concurrent and distributed software and systems. A.A. 2018/19, INGEGNERIA INFORMATICA E DEI SISTEMI. Main teacher
Master of Science
- 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
Research
Research groups
Research projects
Projects funded by competitive calls
- 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
UE-funded research - 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
UE-funded research - JTI - Clean Sky - VeTeSS - 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
- Piano Formativo I.CO.S. - Innovare e COmpetere con nuove Soluzioni digitali, (2024-2025) - Responsabile Scientifico
Consulting - Sviluppo di conoscenza in ambito cloud e cybersecurity, (2024-2025) - Responsabile Scientifico
Commercial Research - Evoluzione Sonda Wi-Fi, (2024-2024) - Responsabile Scientifico
Commercial Research - Performance Monitoring in ambiente L4S, (2023-2023) - Responsabile Scientifico
Commercial Research - rogettazione – Monitoraggio – Valutazione piano AVI/009/22D – Smart Logistic e Cyber Security nei trasporti, (2023-2024) - Responsabile Scientifico
Consulting - QUIC Performance Monitoring 2022, (2022-2022) - Responsabile Scientifico
Commercial Research - Evoluzione Sonda Wi-Fi, (2022-2023) - Responsabile Scientifico
Commercial Research - Sviluppo di conoscenza in ambito cloud e cybersecurity, (2022-2023) - 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
- Francesco Pizzato. Programme in Ingegneria Informatica E Dei Sistemi (39th cycle, 2023-in progress)
Research subject: Security automation and optimization in cloud environments
Cybersecurity Parallel and distributed systems, Quantum computing Cybersecurity Parallel and distributed systems, Quantum computing - Simone Bussa. Programme in Ingegneria Informatica E Dei Sistemi (37th cycle, 2021-in progress)
Research subject: Formal Techniques for Cyber Physical Systems
Computer architectures and Computer aided design Cybersecurity Computer architectures and Computer aided design Cybersecurity - Daniele Bringhenti. Programme in Ingegneria Informatica E Dei Sistemi (35th cycle, 2019-2022)
Thesis: Network Security Automation
Publications
Publications by type
PoliTO co-authors
Last years publications
Last years publications View all publications in Porto@Iris
- 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; 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 - 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; 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) - 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; 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 (2023)
A novel abstraction for security configuration in virtual networks. In: COMPUTER NETWORKS, vol. 228, pp. 1-13. ISSN 1389-1286
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) - 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)
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 (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; 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; 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)
Society and Enterprise
Patents and other intellectual properties
- PROTECTION OF IN-VEHICLE SERVICES WITH A SECURITY-EXTENDED SOME/IP PROTOCOL. national and international Patent
Inventors: Fulvio Giovanni Ottavio Risso Riccardo Sisto Fulvio Valenza