I'm a postdoctoral researcher at MIT CSAIL hosted by Vinod Vaikuntanathan.
I completed my Ph.D. at Tel Aviv University where I was advised by Ran Canetti.
I'm interested in the theory of computation at large, and theory of cryptography in particular.
I'm interested in the theory of computation at large, and theory of cryptography in particular.
News: I will be joining Tel Aviv University in Fall '17.
I will be looking for students and postdocs. If you're interested in working with me, send me an email.
Publications
Multi-Collision Resistance: A Paradigm for Keyless Hash Functions
Manuscript PDF
Verifiable Random Functions from Non-Interactive Witness-Indistinguishable Proofs
Structure vs Hardness through the Obfuscation Lens
CRYPTO 2017 PDF
On Removing Graded Encodings from Functional Encryption
A Note on Perfect Correctness by Derandomization
From Cryptomania to Obfustopia through Secret-Key Functional Encryption
3-Message Zero Knowledge against Human Ignorance
Time-Lock Puzzles from Randomized Encodings
Indistinguishability Obfuscation: from Approximate to Exact
Perfect Structure on the Edge of Chaos
Indistinguishability Obfuscation from Functional Encryption
On the Cryptographic Hardness of Finding a Nash Equilibrium
Succinct Randomized Encodings and their Applications
with Sanjam Garg, Huijia Lin, Rafael Pass, and Sidharth Telang
with Sanjam Garg, Huijia Lin, Rafael Pass, and Sidharth Telang
STOC 2015 PDF
ZAPs and Non-Interactive Witness-Indistinguishability from Indistinguishability Obfuscation
The Impossibility of Obfuscation with Auxiliary Input or a Universal Simulator
with Dana Dachman-Soled and Huijia Lin,
CRYPTO 2014 PDF
On the Existence of Extractable One-Way Functions
Obfuscation for Evasive Functions
Why "Fiat-Shamir for Proofs" Lacks a Proof
with Dana Dachman-Soled, Sanjam Garg, Abhishek Jain, Yael Tauman Kalai, Adriana Lopez-Alt, and Daniel Wichs
TCC 2013
Merge of [BGW] and [DJKL]
Succinct Non-Interactive Arguments via Linear Interactive Proofs
with Alessandro Chiesa, Yuval Ishai, Rafail Ostrovsky, Omer Paneth
TCC 2013 PDF
with Dana Dachman-Soled, Sanjam Garg, Abhishek Jain, Yael Tauman Kalai, Adriana Lopez-Alt, and Daniel Wichs
TCC 2013
Merge of [BGW] and [DJKL]
Succinct Non-Interactive Arguments via Linear Interactive Proofs
with Alessandro Chiesa, Yuval Ishai, Rafail Ostrovsky, Omer Paneth
TCC 2013 PDF
Recursive Composition and Bootstrapping for SNARKs and Proof-Carrying Data
On the Impossibility of Approximate Obfuscation and Applications to Resettable Cryptography
From the Impossibility of Obfuscation to a New Non-Black-Box Simulation Technique
with Omer Paneth
FOCS 2012, Siam Journal on Computing 2015 Draft
with Omer Paneth
FOCS 2012, Siam Journal on Computing 2015 Draft
Succinct Arguments from Multi-Prover Interactive Proofs and their Efficiency Benefits
with Alessandro Chiesa
CRYPTO 2012 PDF
Leakage-Tolerant Interactive Protocols
with Ran Canetti and Shai Halevi
TCC 2012 PDF
Point Obfuscation and 3-Message Zero Knowledge
with Omer Paneth
TCC 2012 PDF
with Alessandro Chiesa
CRYPTO 2012 PDF
Leakage-Tolerant Interactive Protocols
with Ran Canetti and Shai Halevi
TCC 2012 PDF
Point Obfuscation and 3-Message Zero Knowledge
with Omer Paneth
TCC 2012 PDF
The Hunting of the SNARK
Preliminary version: From Extractable Collision Resistance to Succinct Non-Interactive Arguments of Knowledge, and Back Again
with Ran Canetti, Alessandro Chiesa, Eran Tromer
ITCS 2012
with Ran Canetti, Alessandro Chiesa, Eran Tromer
ITCS 2012
Program Obfuscation with Leaky Hardware
with Ran Canetti, Shafi Goldwasser, Shai Halevi, Yael Tauman Kalai, Guy N. Rothblum
ASIACRYPT 2011 PDF
with Ran Canetti
with Ran Canetti, Shafi Goldwasser, Shai Halevi, Yael Tauman Kalai, Guy N. Rothblum
ASIACRYPT 2011 PDF
On Strong Simulation and Composable Point Obfuscation
Thesis
Getting Inside the Adversary's Head: New Directions in Non-Black-Box Knowledge Extraction
Tel Aviv University 2015 PDF