URL:  https://wwwfr.uni.lu/recherche/fstc/computer_science_and_communications_research_unit/projets_de_recherche/symbolic_verification_of_distance_bounding_and_multiparty_authentication_protocols Date:  mardi 23 avril 2019 20:22:46