Computationally Sound Mechanized Proofs of Basic and Publickey Kerberos
https://www.powershow.com/view/1cf862-M2FkO/Computationally_Sound_Mechanized_Proofs_of_Basic_and_Publickey_Kerberos_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
