Ph.D. candidate in Ingegneria Informatica E Dei Sistemi , 37th cycle (2021-2024)
Department of Control and Computer Engineering (DAUIN)
Research Assistant
Department of Control and Computer Engineering (DAUIN)
Docente esterno e/o collaboratore didattico
Department of Control and Computer Engineering (DAUIN)
Docente esterno e/o collaboratore didattico
Master e Formazione Permanente (MFP_GESD)
Profile
PhD
Thesis title
Formal Cybersecurity Techniques for Cyber-Physical Systems
Research topic
Formal Techniques for Cyber Physical Systems
Tutors
Research presentation
Research interests
Biography
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.
Teaching
Teachings
Master of Science
- 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
Research
Research groups
Publications
Latest publications View all publications in 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 - Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio (2025)
Formal verification of a V2X scheme mixing traditional PKI and group signatures. In: OPEN JOURNAL OF INFORMATION SECURITY AND APPLICATIONS, vol. 89. ISSN 2374-6262
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)