Simone Bussa

Dottorato in Ingegneria Informatica E Dei Sistemi , 37o ciclo (2021-2024)

Dottorato concluso nel 2025

Tesi:

Formal Cybersecurity Techniques for Cyber-Physical Systems (Abstract)

Tutori:

Riccardo Sisto Fulvio Valenza

Presentazione della ricerca:

Poster

Profilo

Argomento di ricerca

Formal Techniques for Cyber Physical Systems

Interessi di ricerca

Computer architectures and Computer aided design
Cybersecurity

Biografia

Simone Bussa received the M.Sc. degree (summa cum laude) in computer engineering from the Politecnico di Torino, Italy, in 2021, where he is currently working toward a Ph.D. degree in the Computer Networks Group (NetGroup).
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

MostraNascondi A.A. passati

Pubblicazioni

Pubblicazioni durante il dottorato Vedi tutte le pubblicazioni su Porto@Iris

Mostra altre pubblicazioniMostra meno pubblicazioni