NYU COMPUTER SCIENCE

Nir Bitansky

Associate Professor · Theory and Cryptography

About

I’m an associate professor of computer science at NYU Courant and part of the Theory Group and Cryptography Group.

I’m broadly interested in the theory of computation and the theory of cryptography in particular.

Before joining NYU, I was a faculty member at Tel Aviv University (now on leave). Before that I was 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.

Email: nirbitansky at nyu dot edu

Nir Bitansky

Publications

Fair-Weather No More: Guaranteed Efficiency in Secure Group Messaging

with James Bartusek, Yevgeniy Dodis, Rachit Garg, and David J. Wu

CRYPTO 2026 · PDF

Security Amplification via Robust Indistinguishability Combiners

with Benny Applebaum and Nathan Geier

CRYPTO 2026 · PDF

Shuffling is Universal: Statistical Additive Randomized Encodings for All Functions

with Saroja Erabelli, Rachit Garg, and Yuval Ishai

STOC 2026 · PDF

Additive Randomized Encodings from Public Key Encryption

with Saroja Erabelli and Rachit Garg

CRYPTO 2025 · PDF

Succinct Randomized Encodings from Laconic Function Evaluation, Faster and Simpler

with Rachit Garg

EUROCRYPT 2025 · PDF

Dot-Product Proofs and Their Applications

with Prahladh Harsha, Yuval Ishai, Ron Rothblum, and David Wu

FOCS 2024 · PDF

Robust Additive Randomized Encodings from IO and Pseudo-non-linear Codes

with Sapir Freizeit

CRYPTO 2024 · PDF

Amplification of Non-interactive Zero Knowledge, Revisited

with Nathan Geier

CRYPTO 2024 · PDF

Reusable Online-Efficient Commitments

with Omer Paneth and Dana Shamir

CRYPTO 2024

Batch Proofs are Statistically Hiding

with Chethan Kamath, Omer Paneth, Ron Rothblum, and Prashant Vasudevan

STOC 2024 · PDF

Non-Interactive Universal Arguments

with Omer Paneth, Dana Shamir, and Tomer Solomon

CRYPTO 2023 · PDF

Bootstrapping Homomorphic Encryption via Functional Encryption

with Tomer Solomon

ITCS 2023 · PDF

PPAD is as Hard as LWE and Iterated Squaring

with Arka Rai Choudhuri, Justin Holmgren, Chethan Kamath, Alex Lombardi, Omer Paneth, and Ron D. Rothblum

TCC 2022 · PDF

Constructive Post-quantum Reductions

with Zvika Brakerski and Yael Tauman Kalai

CRYPTO, QCRYPT 2022 · PDF

Statistically Sender Private OT from LPN and Derandomization

with Sapir Freizeit

CRYPTO 2022 · PDF

Non-malleable Commitments Against Quantum Attacks

with Huijia Lin and Omri Shmueli

EUROCRYPT, QCRYPT 2022 · PDF

Classical Binding for Quantum Commitments

with Zvika Brakerski

TCC 2021 · PDF

Post-quantum Resettably-Sound Zero Knowledge

with Michael Kelner and Omri Shmueli

TCC 2021, QCRYPT 2021 · PDF

Characterizing Deterministic Prover Zero Knowledge

with Arka Rai Choudhuri

TCC 2020 · PDF

Weakly Extractable One Way Functions

with Noa Eizenstadt and Omer Paneth

TCC 2020 · PDF

Post-quantum Zero Knowledge in Constant Rounds

with Omri Shmueli

STOC 2020, QCRYPT 2020, QIP 2021 · PDF

On the Cryptographic Hardness of Local Search

with Idan Gerichter

ITCS 2020 · PDF

On Oblivious Amplification of Coin-Tossing Protocols

with Nathan Geier

ITCS 2020 · PDF

On the Complexity of Collision Resistant Hash Functions: New and Old Black-Box Separations

with Akshay Degwekar

TCC 2019 · PDF

On Round-Optimal Statistical Zero-Knowledge Arguments

with Omer Paneth

CRYPTO 2019 · PDF

Weak Zero-Knowledge Beyond the Black-Box Barrier

with Dakshita Khurana and Omer Paneth

STOC 2019, SIAM Journal on Computing 2022 · PDF

Distributional Collision Resistance Beyond One-Way Functions

with Iftach Haitner, Ilan Komargodski, and Eylon Yogev

EUROCRYPT 2019 · 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, Journal of Cryptology 2019 · PDF

Structure vs Hardness through the Obfuscation Lens

with Akshay Degwekar and Vinod Vaikuntanathan

CRYPTO 2017, SIAM Journal on Computing 2021 · Draft

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, Journal of Cryptology 2022 · PDF

From Cryptomania to Obfustopia through Secret-Key Functional Encryption

with Ryo Nishimaki, Alain Passelègue, and Daniel Wichs

TCC 2016B, Journal of Cryptology 2019 · 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, Journal of the ACM 2018 · 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; SIAM Journal on Computing 2019 · 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

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

On the Existence of Extractable One-Way Functions

with Ran Canetti, Omer Paneth, and Alon Rosen

STOC 2014, SIAM Journal on Computing 2016

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, and Omer Paneth

TCC 2013, Journal of Cryptology 2022 · PDF

Recursive Composition and Bootstrapping for SNARKs and Proof-Carrying Data

with Ran Canetti, Alessandro Chiesa, and Eran Tromer

STOC 2013 · PDF

On the Impossibility of Approximate Obfuscation and Applications to Resettable Cryptography

with Omer Paneth

STOC 2013, SIAM Journal on Computing 2015

From the Impossibility of Obfuscation to a New Non-Black-Box Simulation Technique

with Omer Paneth

FOCS 2012, SIAM Journal on Computing 2015

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, and Eran Tromer

Journal of Cryptology 2016 · PDF

Program Obfuscation with Leaky Hardware

with Ran Canetti, Shafi Goldwasser, Shai Halevi, Yael Tauman Kalai, and 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

Teaching

Undergraduate Teaching

  • Basic Algorithms (NYU)Spring 2025, Spring 2026
  • The Theory Behind Blockchains (TAU)Spring 2019
  • Computational Models (TAU)Spring 2020–2024

Graduate Teaching

  • Introduction to Cryptography (NYU)Fall 2026
  • Encrypted Computation (NYU)Spring 2026, Spring 2027
  • Foundations of Cryptography (TAU)Fall 2022, Fall 2021, Fall 2019, Fall 2017
  • Foundations of Cryptography: Advanced Topics (TAU)Spring 2023, Spring 2021
  • Lattices (TAU)Fall 2021, Fall 2019
  • Seminar on Cryptographic Protocols (TAU)Fall 2021
  • Seminar on Encrypted Computation (TAU)Spring 2020
  • Seminar on Zero-Knowledge Proofs (TAU)Spring 2019
  • Seminar on Advanced Topics in Crypto (TAU)Spring 2022

Some Videotaped Talks

Program Committees

CRYPTO
2024 (Area Chair), 2021
EUROCRYPT
2021, 2019, 2018, 2017
FOCS
2022, 2018
ITCS
2027, 2023, 2020
PKC
2017
STOC
2026, 2025
TCC
2022, 2019, 2017, 2016A, 2015

Students and Postdocs

Ph.D.

  • Saroja Erabelli (NYU, co-advised with Marshall Ball)
  • Sapir Freizeit (TAU)
  • Nathan Geier (TAU, graduated 2026, co-advised with Benny Applebaum; now a postdoc at NUS)
  • Omri Shmueli (TAU, graduated 2024, co-advised with Zvika Brakerski; now Assistant Professor at the Weizmann Institute)

M.Sc.

  • Dana Shamir (TAU, graduated 2024, co-advised with Omer Paneth)
  • Tomer Solomon (TAU, graduated 2023)
  • Idan Gerichter (TAU, graduated 2022)
  • Sapir Freizeit (TAU, graduated 2022)
  • Nathan Geier (TAU, graduated 2021)
  • Michael Kelner (TAU, graduated 2021)
  • Noa Eizenstadt (TAU, graduated 2020)
  • Omri Shmueli (TAU, graduated 2020)

Hosted Postdocs