URL:  https://wwwen.uni.lu/research/fstc/computer_science_and_communications_research_unit/research_groups/security_design_and_validation_research_group Date:  Tuesday, 23 July 2019, 01:38