Yael Tauman Kalai

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 80

Top Venues

IACR Cryptol. ePrint Arch.

STOC

Electron. Colloquium Comput. Complex.

CRYPTO (2)

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Zhengzhong Jin, Yael Tauman Kalai, Alex Lombardi, Vinod Vaikuntanathan
SNARGs under LWE via Propositional Proofs. IACR Cryptol. ePrint Arch. 2024 (2024)
Sam Gunn, Yael Tauman Kalai, Anand Natarajan, Agi Villanyi
Classical Commitments to Quantum States. IACR Cryptol. ePrint Arch. 2024 (2024)
Zvika Brakerski, Maya Farber Brodsky, Yael Tauman Kalai, Alex Lombardi, Omer Paneth
SNARGs for Monotone Policy Batch NP. CRYPTO (2) (2023)
Klim Efremenko, Bernhard Haeupler, Yael Tauman Kalai, Gillat Kol, Nicolas Resch, Raghuvansh R. Saxena
Interactive Coding with Small Memory. SODA (2023)
Zvika Brakerski, Maya Farber Brodsky, Yael Tauman Kalai, Alex Lombardi, Omer Paneth
SNARGs for Monotone Policy Batch NP. IACR Cryptol. ePrint Arch. 2023 (2023)
Yael Tauman Kalai, Alex Lombardi, Vinod Vaikuntanathan
SNARGs and PPAD Hardness from the Decisional Diffie-Hellman Assumption. EUROCRYPT (2) (2023)
Shany Ben-David, Yael Tauman Kalai, Omer Paneth
Verifiable Private Information Retrieval. TCC (3) (2022)
James Bartusek, Yael Tauman Kalai, Alex Lombardi, Fermi Ma, Giulio Malavolta, Vinod Vaikuntanathan, Thomas Vidick, Lisa Yang
Succinct Classical Verification of Quantum Computation. IACR Cryptol. ePrint Arch. 2022 (2022)
Shany Ben-David, Yael Tauman Kalai, Omer Paneth
Verifiable Private Information Retrieval. IACR Cryptol. ePrint Arch. 2022 (2022)
Nir Bitansky, Zvika Brakerski, Yael Tauman Kalai
Constructive Post-Quantum Reductions. IACR Cryptol. ePrint Arch. 2022 (2022)
Yael Tauman Kalai, Alex Lombardi, Vinod Vaikuntanathan, Daniel Wichs
Boosting Batch Arguments and RAM Delegation. IACR Cryptol. ePrint Arch. 2022 (2022)
Klim Efremenko, Bernhard Haeupler, Gillat Kol, Nicolas Resch, Raghuvansh Saxena, Yael Tauman Kalai
Interactive Coding with Small Memory. Electron. Colloquium Comput. Complex. (2022)
Meghal Gupta, Yael Tauman Kalai, Rachel Yun Zhang
Interactive error correcting codes over binary erasure channels resilient to > ½ adversarial corruption. STOC (2022)
James Bartusek, Yael Tauman Kalai, Alex Lombardi, Fermi Ma, Giulio Malavolta, Vinod Vaikuntanathan, Thomas Vidick, Lisa Yang
Succinct Classical Verification of Quantum Computation. CoRR (2022)
Ran Gelles, Yael Tauman Kalai, Govind Ramnarayan
Efficient Multiparty Interactive Coding - Part II: Non-Oblivious Noise. IEEE Trans. Inf. Theory 68 (7) (2022)
Nir Bitansky, Zvika Brakerski, Yael Tauman Kalai
Constructive Post-Quantum Reductions. CRYPTO (3) (2022)
Klim Efremenko, Bernhard Haeupler, Yael Tauman Kalai, Pritish Kamath, Gillat Kol, Nicolas Resch, Raghuvansh R. Saxena
Circuits resilient to short-circuit errors. STOC (2022)
Yael Tauman Kalai, Alex Lombardi, Vinod Vaikuntanathan
SNARGs and PPAD Hardness from the Decisional Diffie-Hellman Assumption. IACR Cryptol. ePrint Arch. 2022 (2022)
James Bartusek, Yael Tauman Kalai, Alex Lombardi, Fermi Ma, Giulio Malavolta, Vinod Vaikuntanathan, Thomas Vidick, Lisa Yang
Succinct Classical Verification of Quantum Computation. CRYPTO (2) (2022)
Yael Tauman Kalai, Ran Raz, Ron D. Rothblum
How to Delegate Computations: The Power of No-Signaling Proofs. J. ACM 69 (1) (2022)
Nir Bitansky, Zvika Brakerski, Yael Tauman Kalai
Constructive Post-Quantum Reductions. CoRR (2022)
Yael Tauman Kalai, Alex Lombardi, Vinod Vaikuntanathan, Lisa Yang
Quantum Advantage from Any Non-Local Game. IACR Cryptol. ePrint Arch. 2022 (2022)
Ran Gelles, Yael Tauman Kalai, Govind Ramnarayan
Efficient Multiparty Interactive Coding - Part I: Oblivious Insertions, Deletions and Substitutions. IEEE Trans. Inf. Theory 67 (6) (2021)
Yael Tauman Kalai, Vinod Vaikuntanathan, Rachel Yun Zhang
Somewhere Statistical Soundness, Post-Quantum Security, and SNARGs for P. IACR Cryptol. ePrint Arch. 2021 (2021)
Ruta Jawale, Yael Tauman Kalai, Dakshita Khurana, Rachel Yun Zhang
SNARGs for bounded depth computations and PPAD hardness from sub-exponential LWE. STOC (2021)
Meghal Gupta, Yael Tauman Kalai, Rachel Yun Zhang
Interactive Error Correcting Codes Over Binary Erasure Channels Resilient to $>\frac12$ Adversarial Corruption. CoRR (2021)
Meghal Gupta, Yael Tauman Kalai, Rachel Yun Zhang
Interactive Error Correcting Codes Over Binary Erasure Channels Resilient to $>\frac12$ Adversarial Corruption. IACR Cryptol. ePrint Arch. 2021 (2021)
Yael Tauman Kalai, Vinod Vaikuntanathan, Rachel Yun Zhang
Somewhere Statistical Soundness, Post-Quantum Security, and SNARGs. TCC (1) (2021)
Yael Tauman Kalai, Ilan Komargodski, Ran Raz
A Lower Bound for Adaptively-Secure Collective Coin Flipping Protocols. Comb. 41 (1) (2021)
Yael Tauman Kalai, Rachel Yun Zhang
SNARGs for Bounded Depth Computations from Sub-Exponential LWE. IACR Cryptol. ePrint Arch. 2020 (2020)
Ruta Jawale, Yael Tauman Kalai, Dakshita Khurana, Rachel Yun Zhang
SNARGs for Bounded Depth Computations and PPAD Hardness from Sub-Exponential LWE. IACR Cryptol. ePrint Arch. 2020 (2020)
Dhiraj Holden, Yael Tauman Kalai
Non-signaling proofs with o(√ log n) provers are in PSPACE. STOC (2020)
Ran Canetti, Yael Tauman Kalai, Anna Lysyanskaya, Ronald L. Rivest, Adi Shamir, Emily Shen, Ari Trachtenberg, Mayank Varia, Daniel J. Weitzner
Privacy-Preserving Automated Exposure Notification. IACR Cryptol. ePrint Arch. 2020 (2020)
Zvika Brakerski, Yael Tauman Kalai, Raghuvansh Saxena
Deterministic and Efficient Interactive Coding from Hard-to-Decode Tree Codes. Electron. Colloquium Comput. Complex. 27 (2020)
Klim Efremenko, Elad Haramaty, Yael Tauman Kalai
Interactive Coding with Constant Round and Communication Blowup. ITCS (2020)
Shafi Goldwasser, Adam Tauman Kalai, Yael Tauman Kalai, Omar Montasser
Beyond Perturbations: Learning Guarantees with Arbitrary Adversarial Test Examples. CoRR (2020)
Ankit Garg, Yael Tauman Kalai, Dakshita Khurana
Low Error Efficient Computational Extractors in the CRS Model. EUROCRYPT (1) (2020)
Yael Tauman Kalai, Omer Paneth, Lisa Yang
Delegation with Updatable Unambiguous Proofs and PPAD-Hardness. CRYPTO (3) (2020)
Shafi Goldwasser, Adam Tauman Kalai, Yael Tauman Kalai, Omar Montasser
Identifying unpredictable test examples with worst-case guarantees. ITA (2020)
Zvika Brakerski, Yael Tauman Kalai, Raghuvansh R. Saxena
Deterministic and Efficient Interactive Coding from Hard-to-Decode Tree Codes. FOCS (2020)
Ankit Garg, Yael Tauman Kalai, Dakshita Khurana
Computational Extractors with Negligible Error in the CRS Model. IACR Cryptol. ePrint Arch. 2019 (2019)
Prabhanjan Ananth, Apoorvaa Deshpande, Yael Tauman Kalai, Anna Lysyanskaya
Fully Homomorphic NIZK and NIWI Proofs. TCC (2) (2019)
Prabhanjan Ananth, Apoorvaa Deshpande, Yael Tauman Kalai, Anna Lysyanskaya
Fully Homomorphic NIZK and NIWI Proofs. IACR Cryptol. ePrint Arch. 2019 (2019)
Yael Tauman Kalai, Dakshita Khurana
Non-interactive Non-malleability from Quantum Supremacy. CRYPTO (3) (2019)
Yael Tauman Kalai, Leonid Reyzin
A Survey of Leakage-Resilient Cryptography. IACR Cryptol. ePrint Arch. 2019 (2019)
Ran Gelles, Yael Tauman Kalai, Govind Ramnarayan
Efficient Multiparty Interactive Coding for Insertions, Deletions and Substitutions. CoRR (2019)
Ran Gelles, Yael Tauman Kalai, Govind Ramnarayan
Efficient Multiparty Interactive Coding for Insertions, Deletions, and Substitutions. PODC (2019)
Yael Tauman Kalai, Omer Paneth, Lisa Yang
How to delegate computations publicly. STOC (2019)
Ran Gelles, Yael Tauman Kalai
Constant-Rate Interactive Coding Is Impossible, Even in Constant-Degree Networks. IEEE Trans. Inf. Theory 65 (6) (2019)
Yael Tauman Kalai, Ilan Komargodski, Ran Raz
A Lower Bound for Adaptively-Secure Collective Coin-Flipping Protocols. DISC (2018)
Zvika Brakerski, Yael Tauman Kalai
Monotone Batch NP-Delegation with Applications to Access Control. IACR Cryptol. ePrint Arch. 2018 (2018)
Yael Tauman Kalai, Dakshita Khurana
Non-Interactive Non-Malleability from Quantum Supremacy. IACR Cryptol. ePrint Arch. 2018 (2018)
Yael Tauman Kalai, Dakshita Khurana, Amit Sahai
Statistical Witness Indistinguishability (and more) in Two Messages. EUROCRYPT (3) (2018)
Yael Tauman Kalai, Dakshita Khurana, Amit Sahai
Statistical Witness Indistinguishability (and more) in Two Messages. IACR Cryptol. ePrint Arch. 2018 (2018)
Nir Bitansky, Yael Tauman Kalai, Omer Paneth
Multi-collision resistance: a paradigm for keyless hash functions. STOC (2018)
Saikrishna Badrinarayanan, Yael Tauman Kalai, Dakshita Khurana, Amit Sahai, Daniel Wichs
Succinct delegation for low-space non-deterministic computation. STOC (2018)
Ilan Komargodski, Ran Raz, Yael Tauman Kalai
A Lower Bound for Adaptively-Secure Collective Coin-Flipping Protocols. Electron. Colloquium Comput. Complex. 25 (2018)
Saikrishna Badrinarayanan, Vipul Goyal, Abhishek Jain, Yael Tauman Kalai, Dakshita Khurana, Amit Sahai
Promise Zero Knowledge and Its Applications to Round Optimal MPC. CRYPTO (2) (2018)
Abhishek Jain, Yael Tauman Kalai, Dakshita Khurana, Ron Rothblum
Distinguisher-Dependent Simulation in Two Rounds and its Applications. CRYPTO (2) (2017)
Zvika Brakerski, Justin Holmgren, Yael Tauman Kalai
Non-interactive delegation and batch NP verification from standard computational assumptions. STOC (2017)
Shafi Goldwasser, Guy N. Rothblum, Yael Tauman Kalai
Delegating Computation: Interactive Proofs for Muggles. Electron. Colloquium Comput. Complex. 24 (2017)
Zvika Brakerski, Yael Tauman Kalai, Renen Perlman
Succinct Spooky Free Compilers Are Not Black Box Sound. ASIACRYPT (3) (2017)
Yael Tauman Kalai, Guy N. Rothblum, Ron D. Rothblum
From Obfuscation to the Security of Fiat-Shamir for Proofs. CRYPTO (2) (2017)
Saikrishna Badrinarayanan, Vipul Goyal, Abhishek Jain, Yael Tauman Kalai, Dakshita Khurana, Amit Sahai
Promise Zero Knowledge and its Applications to Round Optimal MPC. IACR Cryptol. ePrint Arch. 2017 (2017)
Nir Bitansky, Omer Paneth, Yael Tauman Kalai
Multi-Collision Resistance: A Paradigm for Keyless Hash Functions. Electron. Colloquium Comput. Complex. 24 (2017)
Abhishek Jain, Yael Tauman Kalai, Dakshita Khurana, Ron Rothblum
Distinguisher-Dependent Simulation in Two Rounds and its Applications. IACR Cryptol. ePrint Arch. 2017 (2017)
Nir Bitansky, Ran Canetti, Yael Tauman Kalai, Omer Paneth
On Virtual Grey Box Obfuscation for General Circuits. Algorithmica 79 (4) (2017)
Ran Gelles, Yael Tauman Kalai
Constant-Rate Interactive Coding Is Impossible, Even In Constant-Degree Networks. ITCS (2017)
Saikrishna Badrinarayanan, Yael Tauman Kalai, Dakshita Khurana, Amit Sahai, Daniel Wichs
Non-Interactive Delegation for Low-Space Non-Deterministic Computation. IACR Cryptol. ePrint Arch. 2017 (2017)
Nir Bitansky, Yael Tauman Kalai, Omer Paneth
Multi-Collision Resistance: A Paradigm for Keyless Hash Functions. IACR Cryptol. ePrint Arch. 2017 (2017)
Zvika Brakerski, Yael Tauman Kalai, Renen Perlman
Succinct Spooky Free Compilers Are Not Black Box Sound. IACR Cryptol. ePrint Arch. 2017 (2017)
Ran Gelles, Yael Tauman Kalai
Constant-Rate Interactive Coding Is Impossible, Even In Constant-Degree Networks. Electron. Colloquium Comput. Complex. 24 (2017)
Yael Tauman Kalai, Omer Paneth
Delegating RAM Computations. TCC (B2) (2016)
Zvika Brakerski, Justin Holmgren, Yael Tauman Kalai
Non-Interactive RAM and Batch NP Delegation from any PIR. Electron. Colloquium Comput. Complex. 23 (2016)
Nir Bitansky, Zvika Brakerski, Yael Tauman Kalai, Omer Paneth, Vinod Vaikuntanathan
3-Message Zero Knowledge Against Human Ignorance. TCC (B1) (2016)
Shafi Goldwasser, Yael Tauman Kalai
Cryptographic Assumptions: A Position Paper. TCC (A1) (2016)
Yael Tauman Kalai, Ran Raz, Oded Regev
On the Space Complexity of Linear Programming with Preprocessing. ITCS (2016)
Yael Tauman Kalai, Guy N. Rothblum, Ron D. Rothblum
From Obfuscation to the Security of Fiat-Shamir for Proofs. IACR Cryptol. ePrint Arch. 2016 (2016)
Nir Bitansky, Zvika Brakerski, Yael Tauman Kalai, Omer Paneth, Vinod Vaikuntanathan
3-Message Zero Knowledge Against Human Ignorance. IACR Cryptol. ePrint Arch. 2016 (2016)
Zvika Brakerski, Justin Holmgren, Yael Tauman Kalai
Non-Interactive RAM and Batch NP Delegation from any PIR. IACR Cryptol. ePrint Arch. 2016 (2016)
Yael Tauman Kalai, Ilan Komargodski
Compressing Communication in Distributed Protocols. Electron. Colloquium Comput. Complex. 22 (2015)
Yael Tauman Kalai, Ron D. Rothblum
Arguments of Proximity - [Extended Abstract]. CRYPTO (2) (2015)
Shafi Goldwasser, Yael Tauman Kalai, Sunoo Park
Adaptively Secure Coin-Flipping, Revisited. CoRR (2015)
Abhishek Jain, Yael Tauman Kalai, Allison Bishop Lewko
Interactive Coding for Multiparty Protocols. ITCS (2015)
Yael Tauman Kalai, Omer Paneth
Delegating RAM Computations. IACR Cryptol. ePrint Arch. 2015 (2015)
Yael Tauman Kalai, Ilan Komargodski
Compressing Communication in Distributed Protocols. CoRR (2015)
Shafi Goldwasser, Yael Tauman Kalai, Sunoo Park
Adaptively Secure Coin-Flipping, Revisited. IACR Cryptol. ePrint Arch. 2015 (2015)
Ran Canetti, Yael Tauman Kalai, Omer Paneth
On Obfuscation with Random Oracles. IACR Cryptol. ePrint Arch. 2015 (2015)
Ran Canetti, Yael Tauman Kalai, Omer Paneth
On Obfuscation with Random Oracles. TCC (2) (2015)
Yael Tauman Kalai, Ilan Komargodski
Compressing Communication in Distributed Protocols. DISC (2015)
Shafi Goldwasser, Yael Tauman Kalai, Sunoo Park
Adaptively Secure Coin-Flipping, Revisited. ICALP (2) (2015)
Shafi Goldwasser, Yael Tauman Kalai
Cryptographic Assumptions: A Position Paper. IACR Cryptol. ePrint Arch. 2015 (2015)
Shafi Goldwasser, Yael Tauman Kalai, Guy N. Rothblum
Delegating Computation: Interactive Proofs for Muggles. J. ACM 62 (4) (2015)
Henry Cohn, Shafi Goldwasser, Yael Tauman Kalai
The impossibility of obfuscation with a universal simulator. CoRR (2014)
Dana Dachman-Soled, Yael Tauman Kalai
Securing Circuits and Protocols against 1/poly(k) Tampering Rate. TCC (2014)
Nir Bitansky, Ran Canetti, Henry Cohn, Shafi Goldwasser, Yael Tauman Kalai, Omer Paneth, Alon Rosen
The Impossibility of Obfuscation with Auxiliary Input or a Universal Simulator. CRYPTO (2) (2014)
Yael Tauman Kalai, Ran Raz, Ron D. Rothblum
How to delegate computations: the power of no-signaling proofs. STOC (2014)
Zvika Brakerski, Yael Tauman Kalai, Moni Naor
Fast Interactive Coding against Adversarial Noise. J. ACM 61 (6) (2014)
Nir Bitansky, Ran Canetti, Yael Tauman Kalai, Omer Paneth
On Virtual Grey Box Obfuscation for General Circuits. CRYPTO (2) (2014)
Nir Bitansky, Ran Canetti, Yael Tauman Kalai, Omer Paneth
On Virtual Grey Box Obfuscation for General Circuits. IACR Cryptol. ePrint Arch. 2014 (2014)

Yael Tauman Kalai.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yael Tauman Kalai