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:  vendredi 19 juillet 2019 23:16:05