Will Computers prove theorems?
May 15, 2025 - 46:25
Radio and PodcastLive Radio & PodcastsEducation
Advances in Garbled Circuits
MT25 Strachey Lecture - Professor Rafail Ostrovsky: Advances in Garbled Circuits Nearly 40 years ago, Andy Yao proposed the construction of “Garbled Circuits,” which had an enormous impact on the field of secure computat...
Related Episodes
Continue listening to more episodes from Computer Science.
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI
May 15, 2025 - 47:14
Privacy, Verification, Robustness: A Cryptographer's perspective on ML
Mar 11, 2025 - 64:18
From probabilistic bisimulation to representation learning via metrics
Dec 2, 2024 - 55:03
Strachey Lecture: The Computer in the Sky
May 16, 2024 - 62:09
Strachey Lecture: How Can Algorithms Help to Protect our Privacy
Nov 13, 2023 - 54:48
Strachey Lecture: Use or Be Used - Regaining Control of AI
Sep 4, 2023 - 50:26