How to Prove that a Computer System is Secure

Name: How to Prove that a Computer System is Secure
Uploaded: 2020-06-15T09:30:00.000Z
Duration: 30 min
Description: Karthik Bhargavan - Researcher, Inria Tanja Lange - Professor of Cryptology, Eindhoven University of Technology Moderator: John Graham-Cumming - CTO, Cloudflare