Cloudflare TV

How to Prove that a Computer System is Secure

Aired on 

  • Karthik Bhargavan - Researcher, Inria
  • Tanja Lange - Professor of Cryptology, Eindhoven University of Technology
  • Moderator: John Graham-Cumming - CTO, Cloudflare