Cloudflare TV

How to Prove that a Computer System is Secure

Originally aired on March 13, 2021 @ 6:30 AM - 7:00 AM EST
  • Karthik Bhargavan - Researcher, Inria
  • Tanja Lange - Professor of Cryptology, Eindhoven University of Technology
  • Moderator: John Graham-Cumming - CTO, Cloudflare
English
Internet Summit
Security

Transcript (Beta)

background