Home // Research // FSTC // Computer Sci... // Research Groups // Security and Trust of Software Systems

Security and Trust of Software Systems

Research Objectives

The Security and Trust of Software Systems (SaToSS) group, led by Professor Sjouke Mauw, is focused on formalizing and applying formal reasoning to real-world security problems and trust issues. The group was established on January 1st, 2007 within the Computer Science and Communications (CSC) research unit of the Faculty of Science, Technology and Communication (FSTC) of the University of Luxembourg. It is part of the laboratories LACS and ComSys, and has a strong connection to the Interdisciplinary Centre for Security, Reliability and Trust (SnT).

The group has common projects with the APSIA group led by Prof. Peter Ryan, with the ICR group headed by Prof. Leon van der Torre, and with Prof. Thomas Sauter from the Life Sciences research unit. SaToSS also collaborates closely with other units and scientists from the University of Luxembourg, as well as with several academic and industrial partners from Luxembourg and from abroad, including itrust Luxembourg, Cybernetica Estonia, EDF France, Thales R&D France, IBM Switzerland, Royal Holloway University of London, amongst others.

Members