The SaToSS group is focused on formalising and applying formal
reasoning to real-world security problems and trust issues.
Events and News
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.
Security and Trust of Software Systems
Belval Campus, Maison du Nombre (3rd floor), 6 avenue de la Fonte, L-4364 Esch-sur-Alzette, Luxembourg