Lectures on Proof-Carrying Code Peter Lee Carnegie Mellon University
https://www.powershow.com/view1/2499a3-ZDc1Z/Lectures_on_Proof-Carrying_Code_Peter_Lee_Carnegie_Mellon_University_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/