Dottorando in Ingegneria Informatica E Dei Sistemi , 37o ciclo (2021-2024)
Dipartimento di Automatica e Informatica (DAUIN)
Assegnista di Ricerca
Dipartimento di Automatica e Informatica (DAUIN)
Docente esterno e/o collaboratore didattico
Dipartimento di Automatica e Informatica (DAUIN)
Profilo
Dottorato di ricerca
Argomento di ricerca
Formal Techniques for Cyber Physical Systems
Tutori
Presentazione della ricerca
Interessi di ricerca
Biografia
His research topic is to explore the potential of formal methods when applied to cybersecurity management and security verification of cyber-physical systems (CPSs). On the one hand, the focus is on the search for solutions to automatically allocate and configure appropriate security mechanisms to protect a CPS (automatic cybersecurity management). On the other hand, his research includes the formal verification of these systems from a security and privacy perspective (security verification). During the three years of his PhD, he has been focusing mainly on large-scale networks, V2X architectures, and IoT protocols. He has had the opportunity to become familiar with state-of-the-art tools for network security management and security verification, including, for example, Proverif and Tamarin.
Didattica
Insegnamenti
Corso di laurea magistrale
- Networks & Cloud Technologies and Security (modulo di Computer networks and cloud technologies). A.A. 2024/25, CYBERSECURITY. Collaboratore del corso
- Security verification and testing. A.A. 2024/25, CYBERSECURITY. Collaboratore del corso
- Networks, cloud and application security (modulo di Computer networks and cloud technologies). A.A. 2023/24, CYBERSECURITY. Collaboratore del corso
- Computer network technologies and services. A.A. 2023/24, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Tecnologie e servizi di rete. A.A. 2023/24, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Computer network technologies and services. A.A. 2022/23, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Reti Locali e Data Center. A.A. 2022/23, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Tecnologie e servizi di rete. A.A. 2022/23, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
Ricerca
Gruppi di ricerca
Pubblicazioni
Pubblicazioni più recenti Vedi tutte le pubblicazioni su Porto@Iris
- Bringhenti, Daniele; Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio (In stampa)
Atomizing Firewall Policies for Anomaly Analysis and Resolution. In: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING. ISSN 1545-5971
Contributo su Rivista - Schermann, Raphael; Bussa, Simone; Urian, Rainer; Toegl, Ronald; Steger, Christian (2024)
PAKA: Pseudonymous Authenticated Key Agreement without bilinear cryptography. In: ARES 2024: The 19th International Conference on Availability, Reliability and Security, Vienna (AT), 30 July 2024- 2 August 2024, pp. 1-10. ISBN: 979-8-4007-1718-5
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 - Schermann, Raphael; Bussa, Simone; Urian, Rainer; Steger, Christian (2023)
Zero touch privacy preserving provisioning in an Edge-, Fog, and Cloud environment. In: IEEE International Conference on Fog and Mobile Edge Computing (FMEC 2023), Tartu (Estonia), 18-20 September 2023, pp. 276-283. ISBN: 979-8-3503-1697-1
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)