Automated Reasoning Program Verification Cryptographic Protocol Verification Chris Lynch
https://www.powershow.com/view1/6249e-ZDc1Z/Automated_Reasoning_Program_Verification_Cryptographic_Protocol_Verification_Chris_Lynch_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
