Publications
-
Non-interactive Universal Arguments
with Nir Bitansky, Dana Shamir, Tomer Solomon
Crypto 2023[ePrint]
-
SNARGs for Monotone Policy Batch NP
with Zvika Brakerski, Maya Farber Brodsky, Yael Tauman Kalai, and Alex Lombardi
Crypto 2023[ePrint]
-
Verifiable Private Information Retrieval
with Shany Ben-David, Yael Tauman Kalai
TCC 2022
-
PPAD is as Hard as LWE and Iterated Squaring
with Nir Bitansky, Arka Rai Choudhuri, Justin Holmgren, Chethan Kamath, Alex Lombardi, Ron D. Rothblum
TCC 2022
[ePrint]
-
Incrementally Verifiable Computation via Rate-1 Batch Arguments
with Rafael Pass
FOCS 2022
-
Weakly Extractable One Way Functions
with Nir Bitansky, Noa Eizenstadt
TCC 2020
[ePrint]
-
Delegation with Updatable Unambiguous Proofs and PPAD-Hardness
with Lisa Yang, Yael Tauman Kalai
CRYPTO 2020
-
Incrementally Verifiable Computation via Incremental PCPs
with Moni Naor, Guy N. Rothblum
TCC 2019
[ePrint]
-
On Round-Optimal Statistical Zero-Knowledge Arguments
with Nir Bitansky
CRYPTO 2019
[ePrint]
-
How to Delegate Computations Publicly
with Yael Kalai, Lisa Yang
STOC 2019
[ePrint]
-
Weak Zero-Knowledge Beyond the Black-Box Barrier
with Nir Bitansky, Dakshita Khurana
STOC 2019
[ePrint]
-
Multi-Collision Resistance: A Paradigm for Keyless Hash Functions
with Nir Bitansky, Yael Tauman Kalai
STOC 2018
[ePrint]
-
On Zero-Testable Homomorphic Encryption and Publicly Verifiable Non-Interactive Arguments
with Guy N. Rothblum
TCC 2017
[ePrint]
-
On Removing Graded Encodings from Functional Encryption
with Nir Bitansky, Huijia Lin
EUROCRYPT 2017
[ePrint]
-
3-Message Zero Knowledge Against Human Ignorance
with Nir Bitansky, Zvika Brakerski, Yael Tauman Kalai, Vinod Vaikuntanathan
TCC 2016(B)
[ePrint]
-
Delegating RAM Computations
with Yael Tauman Kalai
TCC 2016(B)
[ePrint]
-
On the Equivalence of Obfuscation and Multilinear Maps
with Amit Sahai
[ePrint]
-
Reusable Fuzzy Extractors for Low-Entropy Distributions
with Ran Canetti, Benjamin Fuller, Leonid Reyzin, Adam Smith
Eurocrypt 2016
[ePrint]
-
Time-Lock Puzzles from Randomized Encodings
with Nir Bitansky, Shafi Goldwasser, Abhishek Jain, Vinod Vaikuntanathan, Brent Waters
ITCS 2016
[ePrint]
-
Perfect Structure on the Edge of Chaos
with Nir Bitansky, Daniel Wichs
TCC 2016(A)
[ePrint]
-
On the Cryptographic Hardness of Finding a Nash Equilibrium
with Nir Bitansky, Alon Rosen
FOCS 2015
[ePrint][Slides][Talk]
-
On Obfuscation with Random Oracles
with Ran Canetti, Yael Tauman Kalai
TCC 2015
[ePrint][Slides]
-
ZAPs and Non-Interactive Witness Indistinguishability from Indistinguishability Obfuscation
with Nir Bitansky
TCC 2015
[ePrint]
-
On Virtual Grey Box Obfuscation for General Circuits
with Nir Bitansky, Ran Canetti, Yael Tauman Kalai
CRYPTO 2014
[ePrint][Slides][Talk]
-
Client-Server Concurrent Zero Knowledge with Constant Rounds and Guaranteed Complexity
with Ran Canetti, Abhishek Jain
CRYPTO 2014
[ePrint][Slides][Talk]
-
The Impossibility of Obfuscation with Auxiliary Input or a Universal Simulator
with Nir Bitansky, Ran Canetti, Henry Cohn, Shafi Goldwasser, Yael Tauman Kalai, Alon Rosen
CRYPTO 2014
[arXiv][Slides][Talk]
-
On the Existence of Extractable One-Way Functions
with Nir Bitansky, Ran Canetti, Alon Rosen.
STOC 2014
[ePrint][Slides]
-
Protecting Obfuscation Against Algebraic Attacks
with Boaz Barak, Sanjam Garg, Yael Tauman Kalai, Amit Sahai
EUROCRYPT 2014
[ePrint][Slides]
-
Verifiable Set Operations over Outsourced Databases
with Ran Canetti, Dimitrios Papadopoulos, Nikos Triandopoulos
PKC 2014
[ePrint]
-
Obfuscation for Evasive Functions
with Boaz Barak, Nir Bitansky, Ran Canetti, Yael Tauman Kalai, Amit Sahai
TCC 2014
[ePrint][Slides][Talk]
-
On the Achievability of Simulation-Based Security for Functional Encryption
with Angelo De Caro, Vincenzo Iovino, Abhishek Jain, Adam O’Neill, Giuseppe Persiano
CRYPTO 2013
[ePrint]
-
On the Impossibility of Approximate Obfuscation and Applications to Resettable Cryptography
with Nir Bitansky
STOC 2013
[ePrint][Slides]
-
Public-Coin Concurrent Zero-Knowledge in the Global Hash Model
with Ran Canetti, Huijia Lin
TCC 2013
[Slides]
-
Succinct Non-Interactive Arguments via Linear Interactive Proofs
with Nir Bitansky, Alessandro Chiesa, Yuval Ishai, Rafail Ostrovsky
TCC 2013
[ePrint]
-
From the Impossibility of Obfuscation to a New Non-Black-Box Simulation Technique
with Nir Bitansky
FOCS 2012 (best student paper award)
[Slides][Talk]
-
Point Obfuscation and 3-round Zero-Knowledge
with Nir Bitansky
TCC 2012 (best student paper award)
[ePrint][Slides]
|