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.