Simone Bussa

Ph.D. in Ingegneria Informatica E Dei Sistemi , 37th cycle (2021-2024)

Ph.D. obtained in 2025

Dissertation:

Formal Cybersecurity Techniques for Cyber-Physical Systems (Abstract)

Tutors:

Riccardo Sisto Fulvio Valenza

Research presentation:

Poster

Profile

Research topic

Formal Techniques for Cyber Physical Systems

Research interests

Computer architectures and Computer aided design
Cybersecurity

Biography

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.

Teaching

Teachings

Master of Science

MostraNascondi A.A. passati

Research

Research groups

Publications

Works published during the Ph.D. View all publications in Porto@Iris

More publicationsLess publications