Security and Trust of Software Systems

• SaToSS home
• Members
• Courses
• CfP's
• Vacancies
• Software
• Research projects
• Student projects
• Publications
• Technical reports
• Seminar
• Contact

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.

Events

• VTSA 2011: 4th Summer School on Verification Technology, Systems and Applications, Liège, September 19th-23th, 2011.
• VTSA 2010: 3rd Summer School on Verification Technology, Systems, and Applications, Luxembourg, September 6th-10th, 2010.
• SecVote 2010 summer school.
  Members of the SaToSS group co-chaired SecVote 2010, the first international school on security of (e)-voting in Bertinoro, Italy.
• VoteID 2009 conference.
  Members of the SaToSS group are organising VoteID 2009, the 2nd international conference on Voting and Identity. VoteID 2009 took place on 7-8 September 2009 in Luxembourg.