URL:  https://wwwen.uni.lu/research/fstc/computer_science_and_communications_research_unit/research_projects/symbolic_verification_of_distance_bounding_and_multiparty_authentication_protocols Date:  Wednesday, 13 November 2019, 11:16