I'm actively involved in the (co-)supervision of BSc, MSc, and PhD students.
Current Students
- Reynaldo Gil-Pons. PhD thesis: Formal verification of memory erasure and attestation protocols
Past Students
- Zach Smith. PhD thesis: Multiparty authentication protocols and contract signing (2020)
- Jorge Toro-Pozo. PhD thesis: A formal approach to distance bounding (2019)
- Deepal Tennakoon. Master thesis: Blockchain-based National E-identity Authentication (2019)
- Dominique Kogue. Master thesis: Proofs of physical properties by multiple verifiers (2017)
- Sankalp Ghatpande. Master thesis: Context authentication (2016)
- Iva Toshkova. Master thesis: Human aspects of attack trees (2016)
- Bochuan Xuan. Master thesis: Making social graphs resistant to active attacks (2015) (download)
- Simon Bandella. Bachelor thesis: Distance bounding protocols based on random graphs (2015)