Simons Institute Workshop: New Developments in Obfuscation
2020-12-10
-- online --
who it's for
theoretical cryptographers, lattice cryptographers, applied cryptographers, protocol designers, postdoctoral researchers, graduate students in cryptography, security researchers
topics
learning with errors (LWE); learning parity with noise (LPN); NC0 Boolean pseudorandom generators; structured-seed PRGs; indistinguishability obfuscation (iO); functional encryption for NC0; split-FHE and Dual-GSW; oblivious LWE sampling; circular security assumptions; shielded randomness leakage (SRL); homomorphic PRF evaluation; subexponential security regimes
| title | author | length |
|---|---|---|
| Panel Discussion: Computational Assumptions | Yael Tauman Kalai, Benny Applebaum, Chris Peikert | 49m |
Debate-focused panel that argues specifics: who bets on PRG in NC0 versus structured assumptions like SXDH vulnerable to quantum, practical strength of LWE… | ||
| On the Assumptions Used for Obfuscation | Benny Applebaum | 01h 06m |
Survey compares four concrete assumptions used to build obfuscation: LWE, SXDH, local PRGs, and LPN. Gives concrete regimes for LPN (constant noise + linear… | ||
| Indistinguishability Obfuscation from Well-Founded Assumptions | Aayush Jain | 57m |
Constructs iO by reducing it to a structured seed PRG built from two assumptions: sparse LPN and an NC0 Boolean PRG with stretch n^{1+τ} (τ arbitrarily small… | ||
| LPN Based IO Part 2 | Rachel Lin | 53m |
Constructs a semi-compact functional encryption for NC0 by combining three concrete tools: an LWE-based secret-key homomorphic scheme with almost-linear… | ||
| LPN Based IO Part 1 | Amit Sahai | 44m |
Claims IO from four sub-exponential assumptions: LPN over Zp (error probability 1/l^delta against 2^{l^epsilon} attackers), LWE, NC0 PRGs and SXDH. Builds a… | ||
| Rump Session | Yael Tauman Kalai | 02m |
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… | ||
| Circularity Based IO, Part 3 | Daniel Wichs | 01h 00m |
Proposes that Oblivious-LWE sampling plus LWE gives a simulation-secure Dual-GSW split-FHE which implies IO; shows single-opening security by adding a fresh… | ||
| Circularity Based IO, Part 2 | Boaz Barak | 37m |
Claims a construction of indistinguishability obfuscation from LWE plus a strong circular SRL (Shielded Randomness Leakage) heuristic, proving GSW is… | ||
| Circularity Based IO, Part 1 | Romain Gay, Rafael Pass | 01h 01m |
Proposes a concrete route from Split‑FHE to exponential IO (XAO): start with an LWE‑based FHE encrypting a circuit, homomorphically evaluate its truth table… | ||
| iO via Functional Encryption: Techniques and Challenges from LWE | Boaz Barak | 56m |
Attempts to get functional encryption from LWE alone produce concrete partial results and clear roadblocks: constructions use homomorphic LWE encodings and… | ||
| The Journey Towards Program Obfuscation | Yael Tauman Kalai | 01h 15m |
Survey traces concrete reductions: IO reduces to functional encryption, then to semi‑succinct FE for NC0, then to a compressed notion XIO/functional encoding… | ||
| nothing matches | ||