Nir Bitansky - Homepage
I'm a faculty member at Tel Aviv University's School of Computer Science. I'm interested in the theory of computation at large, and theory of cryptography in particular.
I completed my Ph.D. at Tel Aviv University where I was advised by Ran Canetti.
I then spent three years as a postdoctoral researcher at MIT CSAIL hosted by Vinod Vaikuntanathan.
Contact
Email: nirbitan at tau dot ac dot il
Office: Schreiber 123
Publications
Weak Zero-Knowledge Beyond the Black-Box Barrier
with Dakshita Khurana and Omer Paneth
Manuscript PDF
One-Message Zero Knowledge and Non-Malleable Commitments
with Huijia Lin
TCC 2018 PDF
Multi-Collision Resistance: A Paradigm for Keyless Hash Functions
with Yael Tauman Kalai, and Omer Paneth
STOC 2018 PDF
Verifiable Random Functions from Non-Interactive Witness-Indistinguishable Proofs
TCC 2017 PDF
Structure vs Hardness through the Obfuscation Lens
with Akshay Degwekar and Vinod Vaikuntanathan
CRYPTO 2017 PDF
On Removing Graded Encodings from Functional Encryption
with Huijia Lin and Omer Paneth
EUROCRYPT 2017 PDF
A Note on Perfect Correctness by Derandomization
with Vinod Vaikuntanathan
EUROCRYPT 2017 PDF
From Cryptomania to Obfustopia through Secret-Key Functional Encryption
with Ryo Nishimaki, Alain Passelègue, and Daniel Wichs
TCC 2016B PDF
3-Message Zero Knowledge against Human Ignorance
with Zvika Brakerski, Yael Tauman Kalai, Omer Paneth, and Vinod Vaikuntanathan
TCC 2016B PDF
Time-Lock Puzzles from Randomized Encodings
with Shafi Goldwasser, Abhishek Jain, Omer Paneth, Vinod Vaikuntanathan, and Brent Waters
ITCS 2016 PDF
Indistinguishability Obfuscation: from Approximate to Exact
with Vinod Vaikuntanathan
TCC 2016A PDF
Perfect Structure on the Edge of Chaos
with Omer Paneth and Daniel Wichs
TCC 2016A PDF
Indistinguishability Obfuscation from Functional Encryption
with Vinod Vaikuntanathan
FOCS 2015 PDF
On the Cryptographic Hardness of Finding a Nash Equilibrium
with Omer Paneth and Alon Rosen
FOCS 2015 PDF
Succinct Randomized Encodings and their Applications
with Sanjam Garg, Huijia Lin, Rafael Pass, and Sidharth Telang
STOC 2015 PDF
ZAPs and Non-Interactive Witness-Indistinguishability from Indistinguishability Obfuscation
with Omer Paneth
TCC 2015 PDF
On Virtual Grey Box Obfuscation for General Circuits
with Ran Canetti, Yael Tauman Kalai, and Omer Paneth
CRYPTO 2014, Algorithmica 2016 Draft
The Impossibility of Obfuscation with Auxiliary Input or a Universal Simulator
with Ran Canetti, Henry Cohn, Shafi Goldwasser, Yael Tauman Kalai, Omer Paneth, and Alon Rosen
CRYPTO 2014 PDF
Leakage-Tolerant Computation with Input-Independent Preprocessing
with Dana Dachman-Soled and Huijia Lin,
CRYPTO 2014 PDF
On the Existence of Extractable One-Way Functions
with Ran Canetti, Omer Paneth, and Alon Rosen
STOC 2014, Siam Journal on Computing 2016 Draft
Obfuscation for Evasive Functions
with Boaz Barak, Ran Canetti, Yael Tauman Kalai, Omer Paneth, and Amit Sahai
TCC 2014 PDF
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
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
with Ran Canetti, Alessandro Chiesa, Eran Tromer
STOC 2013 PDF
On the Impossibility of Approximate Obfuscation and Applications to Resettable Cryptography
with Omer Paneth
STOC 2013 (subsumed by Siam Journal on Computing 2015 Draft)
From the Impossibility of Obfuscation to a New Non-Black-Box Simulation Technique
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
The Hunting of the SNARK
with Ran Canetti, Alessandro Chiesa, Shafi Goldwasser, Huijia Lin, Aviad Rubinstein, Eran Tromer
Journal of Cryptology 2016 PDF
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
Program Obfuscation with Leaky Hardware
with Ran Canetti, Shafi Goldwasser, Shai Halevi, Yael Tauman Kalai, Guy N. Rothblum
ASIACRYPT 2011 PDF
On Strong Simulation and Composable Point Obfuscation
with Ran Canetti
CRYPTO 2010, Journal of Cryptology 2013 PDF
Thesis
Getting Inside the Adversary's Head: New Directions in Non-Black-Box Knowledge Extraction
Tel Aviv University 2015 PDF
Videotaped Talks
On Removing Graded Encodings from Functional Encryption (Eurocrypt '17)
A Note on Perfect Correctness by Derandomization (Eurocrypt '17)
A Reduction from Flying Pigs to Jumping Pigs (IAS, March '17)
On the Cryptographic Hardness of Finding a Nash Equilibrium (IAS, March '17, shorter version at FOCS '15)
Program Obfuscation: The Power of Unreadable Code (UW Colloquia, April '16)
Indistinguishability Obfuscation from Functional Encryption (FOCS '15)
Time-Lock Puzzles from Randomized Encodings (Simons Institute, July '15)
On Virtual Grey Box Obfuscation for General Circuits (Crypto '14)
Leakage-Tolerant Computation with Input-Independent Preprocessing (Crypto '14)
Program Committees
FOCS 2018
Public Key Cryptography 2017
Teaching
Foundations of Cryptography Fall 2017
The Theory Behind Blockchains Spring 2019
A Seminar on Zero-Knowledge Proofs Spring 2019