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
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
- 3-7 November, 2014 - ICFEM 2014
We organise the 16th International Conference on Formal Engineering Methods (ICFEM 2014),
which will be held at the Melia Hotel in Luxembourg.
- 27-31 October, 2014 - VTSA 2014
We co-organise the summer school on Verification Technology, Systems & Applications,
taking place at SnT, Unviersity of Luxembourg.
- 8 September, 2014 - Best Paper Award
For their paper
A New Access Control Scheme for Facebook-style Social Network,
Jun Pang and
Yang Zhang have won the Best Paper Award
at the 9th International Conference on Availability, Reliability and Security (ARES 2014).
- 12 April, 2014 - GraMSec 2014
We organise the International Workshop on
Graphical Models for Security, which will take place in Grenoble, France
in co-location with ETAPS 2014.