ls
ls

Thesis Proposals

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
    read more
  • I'm an engineer: A formal approach to the engineering of security protocols and cyber-physical systems
    read more
  • Pff... I'm a scientist, give me a challenge! An attacker model beyond the Dolev-Yao one
    read more

Full Thesis Proposals (2020-2021) available in pdf

MsC Students

Alessandro Busatto - 2021

Thesis (ITA only): Verifica automatica e formale di protocolli di sicurezza descritti attraverso modelli UML [pdf, resources]