Cloudflare TV

How to Prove that a Computer System is Secure

Originally aired on February 28, 2022 @ 12:30 PM - 1:00 PM 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