The SaToSS group is focused on formalising and applying formal
reasoning to real-world security problems and trust issues.
Events and News
4th April, 2022 - Zhiqiang Zhong successfully defended his PhD thesis "Leveraging Graph Machine Learning for Social Network Analysis".
6rd September, 2021 - Congratulations to Aleksandr Pilgun for a successfull defence of his PhD thesis, Instruction coverage for Android app testing and tuning.
3rd September, 2021 - Cui Su successfully defended her PhD thesis entitled 'Scalable Control of Asynchronous Boolean Networks'.
10th September, 2020 - Congratulations to Zachary Daniel Smith for successfully defending his PhD thesis, Design and Verification of Specialised Security Goals for Protocol Families.
27th August, 2020 - Jorge Toro-Pozo is awarded with the ERCIM
STM Best PhD thesis 2020 award
(supervisor: Sjouke Mauw).
19th March, 2020 - Jorge Toro-Pozo is the winner of the best CSC thesis award
(supervisor: Sjouke Mauw).
14th May, 2019 - Congratulations to Jorge Toro-Pozo for successfully defending his PhD thesis, Computational and Symbolic Analysis of Distance-bounding Protocols.
29th November, 2017 - Congratulations to Qixia Yuan for successfully defending his PhD thesis, Computational Methods for Analysing Long-run Dynamics of Large Biological Networks.
9 March, 2017 - Grande Region Security and Reliability Day 2017 GRSRD'17
The objective of the Grande Region Security and Reliability Day is to increase scientific interaction in security and reliability at the regional level. The workshop provides a platform for exchange of ideas, discussion and co-operation. It focuses on the Grande Region, but is open to submissions and participation of the whole scientific community working in security and reliability.