URL:  https://wwwen.uni.lu/snt/distinguished_lectures/automatic_verification_of_security_and_privacy_properties_january_24_2011 Date:  Sunday, 03 July 2022, 18:57