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 22 janvier 2019 13:49:18