SaToSS alumni

SaToSS » Members » SaToSS alumni

Graduated PhD Students
	Dr. Cui Su Thesis title: Scalable control of asynchronous Boolean networks . Successfully defended in November 2020.
	Dr. Zachary Daniel Smith Thesis title: Design and Verification of Specialised Security Goals for Protocol Families Successfully defended in September 2020.
	Dr. Jorge Toro Pozo Thesis title: Computational and Symbolic Analysis of Distance-Bounding Protocols . Successfully defended in May 2019.
	Dr. Qixia Yuan Thesis title: Computational Methods for Analysing Long-run Dynamics of Large Biological Networks. Successfully defended in November 2017.
	Dr. Yang Zhang Thesis title: To share not to Share: Access Control and Information Inference in Social Networks. Successfully defended in November 2016.
	Dr. Xihui Chen Thesis title: Location assurance and privacy in location-based services. Successfully defended in June 2014.
	Dr. Naipeng Dong Thesis title: Enforced privacy: from practice to theory. Successfully defended in November 2013.
	Dr. Patrick Schweitzer Thesis title: Attack-defense trees. Successfully defended in November 2013.
	Dr. Ir. Tim Muller Thesis title: A Formal Analysis of Trust Operations: Trust Aggregation, Trust Chaining and Logical Trust Operations. Successfully defended in October 2013.
	Dr. Matthijs Melissen Thesis title: Game-theory and Logic for Non-repudiation Protocols and Attack Analysis. Successfully defended in October 2013.
	Dr. Ir. Ton van Deursen Thesis title: Security of RFID protocols. Successfully defended in September 2011.
	Dr. Ir. Hugo Jonker Thesis title: Security Matters: Privacy in Voting and Fairness in Digital Exchange. Successfully defended in August 2009.
Former Members
Baptiste Alcalde Wojtek Jamroga Hugo Jonker Simon Kramer Barbara Kordy Georgios Pitsilis Saša Radomirović Chenyi Zhang Samir Ouchani Lu Zhou Marco Rocchetto Piotr Kordy Karim Lounis Ravi Jhawar Rolando Trujillo Rasúa Artsiom Kushniarou Olga Gadyatskaya Stanislav Dashevskyi Soumya Paul