~/talk

Oblivious RAM II

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

Describes two concrete advances and what they actually build: an OnionORAM that achieves constant communication per access by shaving the usual log N factor at the cost of polylogarithmic block size (likely polylog³ N) and using additively homomorphic crypto (Damgård–Jurik / somewhat homomorphic); client and server work remain polylog N, rounds stay constant (responses ≈ 2·B). Active security uses Merkle trees for metadata plus small verification chunks (security‑parameter many) and ECC. The garbled‑RAM construction gives non‑interactive, reusable RAM execution where garbling and evaluation cost the RAM runtime; circularity in keys is resolved via identity‑based encryption or other fixes, writes use time‑stamped identities, and fully succinct variants require indistinguishability obfuscation and long proofs.

AI-written summary · about

  1. 0:00Traditional ORAM Model
  2. 2:12ORAM (Server Computation)
  3. 11:49Recall: Tree ORAM
  4. 19:33Eviction in Tree ORAM
  5. 34:03Part II. Garbled RAM (no interaction)
  6. 45:17Let's try to prove security...
  7. 45:51Use security of 2nd garbled circuit
  8. 52:05How to allow writes?
  9. 54:03Private and Verifiable Output
  10. 55:38Part III: Succinct Garbled RAM
  11. 56:42State of the Art
~/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.