~/talk

Applications of Obfuscation I

Talkat Cryptography Boot Camp 2015 · 2015-05-18..05-22· [cryptography]
links:none on file
slides:none on file

Defines indistinguishability obfuscation and shows concrete consequences: builds witness encryption from IO, derives public‑key encryption by publishing PRG(PK) and using witness encryptions, and bootstraps IO for general circuits from an NC1 IO using FHE plus shallow proofs. Introduces the punctured PRF and uses it for constrained PRFs, functional encryption and constrained signatures via obfuscation hybrids and “shell games” of secrets. Security relies on IO and puncturable‑PRF assumptions and complexity‑leveraging to move from selective to adaptive guarantees.

AI-written summary · about

  1. 0:00Start
  2. 0:28Definition of iO [B*01]
  3. 2:42Best-Possible Obfuscation
  4. 11:55Witness Encryption [R89,GK05,GGSW13]
  5. 15:22Relative vs. Absolute Guarantees
  6. 19:31Simple App: WE+OWF → PKE [GGSW13]
  7. 23:03Shell Games with Secrets
  8. 23:25Shell Games'
  9. 39:45Shell Game Application: Functional Encryption for Circuits
  10. 47:44Punctured Programming [SW13]
  11. 52:21PKE Using Punctured PRFS [SW13]
  12. 57:49Another Useful Trick: Complexity Leveraging
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.