Proofs - Theory

Channel:
United States Simons Institute for the Theory of Computing
Subscribers:
68,700
Published on ● Video Link: https://www.youtube.com/watch?v=TjV6sanLP3s


Duration: 0:00
150 views
1

Yael Kalai (MIT and Microsoft Research)
https://simons.berkeley.edu/talks/yael-kalai-mit-microsoft-research-2025-05-21-0
Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation Boot Camp



Other Videos By Simons Institute for the Theory of Computing


2025-05-30Crypto + Meta-complexity 2
2025-05-30Crypto + Meta-complexity 1
2025-05-30Crypto + ML 2
2025-05-30Crypto + ML 1
2025-05-30Private Information Retrieval and Oblivious RAM
2025-05-30Secure Computation 3
2025-05-30Secure Computation 2
2025-05-30Secure Computation 1
2025-05-30Proofs - Practice 2
2025-05-30Proofs - Practice 1
2025-05-30Proofs - Theory
2025-05-30Quantum 4
2025-05-30Quantum 3
2025-05-30Quantum 2
2025-05-30Foundations 2
2025-05-18Foundations 1
2025-05-01Future Directions In AI Safety Research
2025-04-27Introduction (Sanjit Seshia)
2025-04-23How to Locate Unentanglement | Quantum Colloquium
2025-04-16Talk by Sophie Morel (ENS de Lyon)
2025-04-16Challenges in State-of-the-Art Bit-Precise Reasoning