Security and Trust of Software Systems
The Security and Trust of Software Systems group is led by Prof. Dr. Sjouke Mauw. It is a research group within the Computer Science and Communications research unit of the Faculty of Science, Technology and Communication of the University of Luxembourg. The SaToSS group is part of the LACS and ComSys laboratories and has a strong involvement in the Interdisciplinary Centre on Security, Reliability and Trust.
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.
- 14th May, 2019 - SaToSS organized a mini-workshop on 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.
