In the following three thesis which should be interpreted more as areas where the student will start her journey, rather than a "point" that the student should follow. In other words, we expect you to build and propose your own views on the subjects, to critically analyze your steps and... ours too. If you don't know exactly what we mean, opt for "I'm a believer".
I'm a believer: A quantitative but non-inductive approach to cyber-security risk assessment
I'm an engineer: A formal approach to the engineering of security protocols and cyber-physical systems
Pff... I'm a scientist, give me a challenge! An attacker model beyond the Dolev-Yao one
Full Thesis Proposals (2020-2021) available in pdf
Alessandro Busatto - 2021
Thesis (ITA only): Verifica automatica e formale di protocolli di sicurezza descritti attraverso modelli UML