SaToSS alumni

Graduated PhD Students

• Thesis title: Structural Inference of Interacting Dynamical Systems.
• Successfully defended in November 2024.

• Thesis title: Analysis of security protocols with security properties based on distance.
• Successfully defended in January 2024.

• Thesis title: Privacy Attacks and Protection in Generative Models.
• Successfully defended in December 2023.

• Thesis title: Formal Verification of Verifiability in E-Voting Protocols.
• Successfully defended in June 2023.

• Thesis title: Analysis of Smartcard-based Payment Protocols in the Applied Pi-calculus using Quasi-Open Bisimilarity.
• Successfully defended in June 2023.

• Thesis title: Decoding the Real World: Tackling Virtual Ethnographic Challenges through Data-Driven Methods.
• Successfully defended in June 2023.

• Thesis title: Leveraging Graph Machine Learning for Social Network Analysis.
• Successfully defended in April 2022.

• Thesis title: Instruction coverage for Android app testing and tuning.
• Successfully defended in November 2020.

• Thesis title: Scalable control of asynchronous Boolean networks.
• Successfully defended in November 2020.

• Thesis title: Design and Verification of Specialised Security Goals for Protocol Families
• Successfully defended in September 2020.

• Thesis title: Computational and Symbolic Analysis of Distance-Bounding Protocols.
• Successfully defended in May 2019.

• Thesis title: Computational Methods for Analysing Long-run Dynamics of Large Biological Networks.
• Successfully defended in November 2017.

• Thesis title: To share not to Share: Access Control and Information Inference in Social Networks.
• Successfully defended in November 2016.

• Thesis title: Location assurance and privacy in location-based services.
• Successfully defended in June 2014.

• Thesis title: Enforced privacy: from practice to theory.
• Successfully defended in November 2013.

• Thesis title: Attack-defense trees.
• Successfully defended in November 2013.

• Thesis title: A Formal Analysis of Trust Operations: Trust Aggregation, Trust Chaining and Logical Trust Operations.
• Successfully defended in October 2013.

• Thesis title: Game-theory and Logic for Non-repudiation Protocols and Attack Analysis.
• Successfully defended in October 2013.

• Thesis title: Security of RFID protocols.
• Successfully defended in September 2011.

• Thesis title: Security Matters: Privacy in Voting and Fairness in Digital Exchange.
• Successfully defended in August 2009.