The SaToSS group is focused on formalising and applying formal
reasoning to real-world security problems and trust issues.
Events and News
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.
28 February, 2017 - SaToSS Second Lustrum
We are organising the SaToSS Second Lustrum, a one-day event to celebrate the 10th anniversary
of our group, gather all former and current SaToSS members, make a balance of these ten years
and talk about ongoing and future research.
Security and Trust of Software Systems
Belval Campus, Maison du Nombre (3rd floor), 6 avenue de la Fonte, L-4362 Esch-sur-Alzette, Luxembourg