CIMPA School on Security Specification and verification of randomized security protocols Lecture 2
https://www.powershow.com/view4/678b5c-NWYwN/CIMPA_School_on_Security_Specification_and_verification_of_randomized_security_protocols_Lecture_2_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/