I'm actively involved in the (co-)supervision of BSc, MSc, and PhD students.
- Jorge Toro-Pozo. PhD thesis: A formal approach to distance bounding
- Dominique Kogue. Master thesis: Proofs of physical properties by multiple verifiers
- 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)
- Sankalp Ghatpande. Master thesis: Context authentication (2016)
- Iva Toshkova. Master thesis: Human aspects of attack trees (2016)