Yael Tauman Kalai
where else to find them
what they talk about
where they keep going back
no series more than once — all 5 in the filters
on a stage with
- Benny Applebaumonce
- Carlos Kuchkovskyonce
- Chris Peikertonce
all 5 in the filters
who talks about the same things
- Ran Canetti7 talks
- Yuval Ishai8 talks
- Shafi Goldwasser13 talks
- Dan Boneh10 talks
- Eran Tromer8 talks
- Daniel Benarroch10 talks
| title | conference | date |
|---|---|---|
| Proofs - Theory | Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation Boot Camp 2025 | 2025-05-19 |
Survey of concrete SNARG progress and remaining barriers: shows an iO-based construction that achieves SNARGs for NP but relies on iO with subexponential… | ||
| SNARGs Beyond Non-Signaling | Minimal Complexity Assumptions for Cryptography 2023 | 2023-05-01 |
Constructs a SNARG for a subclass called monotone policy batch NP under the LWE assumption, yielding the first standard-assumption SNARG for a class not known… | ||
| Panel Discussion: Computational Assumptions | Simons Institute Workshop: New Developments in Obfuscation | 2020-12-10 |
Debate-focused panel that argues specifics: who bets on PRG in NC0 versus structured assumptions like SXDH vulnerable to quantum, practical strength of LWE… | ||
| Rump Session | Simons Institute Workshop: New Developments in Obfuscation | 2020-12-10 |
Attempt to run a rump session fails because the single signup vanishes and the signup link shows nothing, participants search for Boaz's note and confirm no… | ||
| The Journey Towards Program Obfuscation | Simons Institute Workshop: New Developments in Obfuscation | 2020-12-10 |
Survey traces concrete reductions: IO reduces to functional encryption, then to semi‑succinct FE for NC0, then to a compressed notion XIO/functional encoding… | ||
| Panel: Zero Knowledge in the Enterprise | 2nd ZKProof Workshop 2019 | 2019-04-10 |
Panelists contrast pragmatic deployments with long‑term cryptography: enterprise platforms pick SGX first ZK later to run existing Java apps now and plan… | ||
| GKR based Zero-Knowledge Proofs | 2nd ZKProof Workshop 2019 | 2019-04-10 |
Claims a practical blueprint that turns GKR-style low-degree extension encodings plus the sum-check protocol into doubly efficient interactive proofs where the… | ||
| Delegating Computation I | Cryptography Boot Camp 2015 | 2015-05-18 |
Constructs a practical path from multiprover proofs to a single-cloud protocol: a two-message delegation scheme for RAM-style computations whose verifier time… | ||
| Delegating Computation II | Cryptography Boot Camp 2015 | 2015-05-18 |
Constructs a no-signaling MIP for deterministic time-T computations that yields a two-message delegation protocol after composing with fully homomorphic… | ||
| nothing matches | ||