Yael Tauman Kalai
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
76
Venues
10
Active years
2003–2026
Best venue rank
A*
Where they publish
Papers
76 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | EuroCrypt | Sum-Check Protocol for Approximate Computations. | Dor Bitan, Zachary DeStefano, Shafi Goldwasser, Yuval Ishai, Yael Tauman Kalai, Justin Thaler |
| 2026 | STOC | SNARGs for NP and Non-signaling PCPs, Revisited. | Lalita Devadas, Samuel B. Hopkins, Yael Tauman Kalai, Pravesh K. Kothari, Alex Lombardi, Surya Mathialagan |
| 2025 | EuroCrypt | Somewhat Homomorphic Encryption from Linear Homomorphism and Sparse LPN. | Henry Corrigan-Gibbs, Alexandra Henzinger, Yael Tauman Kalai, Vinod Vaikuntanathan |
| 2025 | FOCS | Efficiently Batching Unambiguous Interactive Proofs. | Bonnie Berger, Rohan Goyal, Matthew M. Hong, Yael Tauman Kalai |
| 2025 | FOCS | Parallel Repetition for Post-Quantum Arguments. | Andrew Huang, Yael Tauman Kalai |
| 2025 | STOC | Classical Commitments to Quantum States. | Sam Gunn, Yael Tauman Kalai, Anand Natarajan, gi Villnyi |
| 2025 | STOC | Universal SNARGs for NP from Proofs of Correctness. | Zhengzhong Jin, Yael Tauman Kalai, Alex Lombardi, Surya Mathialagan |
| 2023 | CRYPTO | SNARGs for Monotone Policy Batch NP. | Zvika Brakerski, Maya Farber Brodsky, Yael Tauman Kalai, Alex Lombardi, Omer Paneth |
| 2023 | EuroCrypt | SNARGs and PPAD Hardness from the Decisional Diffie-Hellman Assumption. | Yael Tauman Kalai, Alex Lombardi, Vinod Vaikuntanathan |
| 2023 | SODA | Interactive Coding with Small Memory. | Klim Efremenko, Bernhard Haeupler, Yael Tauman Kalai, Gillat Kol, Nicolas Resch, Raghuvansh R. Saxena |
| 2022 | CRYPTO | Succinct Classical Verification of Quantum Computation. | James Bartusek, Yael Tauman Kalai, Alex Lombardi, Fermi Ma, Giulio Malavolta, Vinod Vaikuntanathan, Thomas Vidick, Lisa Yang |
| 2022 | CRYPTO | Constructive Post-Quantum Reductions. | Nir Bitansky, Zvika Brakerski, Yael Tauman Kalai |
| 2022 | STOC | Circuits resilient to short-circuit errors. | Klim Efremenko, Bernhard Haeupler, Yael Tauman Kalai, Pritish Kamath, Gillat Kol, Nicolas Resch, Raghuvansh R. Saxena |
| 2022 | STOC | Interactive error correcting codes over binary erasure channels resilient to > ½ adversarial corruption. | Meghal Gupta, Yael Tauman Kalai, Rachel Yun Zhang |
| 2022 | TCC | Verifiable Private Information Retrieval. | Shany Ben-David, Yael Tauman Kalai, Omer Paneth |
| 2021 | STOC | SNARGs for bounded depth computations and PPAD hardness from sub-exponential LWE. | Ruta Jawale, Yael Tauman Kalai, Dakshita Khurana, Rachel Yun Zhang |
| 2021 | TCC | Somewhere Statistical Soundness, Post-Quantum Security, and SNARGs. | Yael Tauman Kalai, Vinod Vaikuntanathan, Rachel Yun Zhang |
| 2020 | CRYPTO | Delegation with Updatable Unambiguous Proofs and PPAD-Hardness. | Yael Tauman Kalai, Omer Paneth, Lisa Yang |
| 2020 | EuroCrypt | Low Error Efficient Computational Extractors in the CRS Model. | Ankit Garg, Yael Tauman Kalai, Dakshita Khurana |
| 2020 | FOCS | Deterministic and Efficient Interactive Coding from Hard-to-Decode Tree Codes. | Zvika Brakerski, Yael Tauman Kalai, Raghuvansh R. Saxena |
| 2020 | ITA | Identifying unpredictable test examples with worst-case guarantees. | Shafi Goldwasser, Adam Tauman Kalai, Yael Tauman Kalai, Omar Montasser |
| 2020 | STOC | Non-signaling proofs with o(√ log n) provers are in PSPACE. | Dhiraj Holden, Yael Tauman Kalai |
| 2019 | CRYPTO | Non-interactive Non-malleability from Quantum Supremacy. | Yael Tauman Kalai, Dakshita Khurana |
| 2019 | PODC | Efficient Multiparty Interactive Coding for Insertions, Deletions, and Substitutions. | Ran Gelles, Yael Tauman Kalai, Govind Ramnarayan |
| 2019 | STOC | How to delegate computations publicly. | Yael Tauman Kalai, Omer Paneth, Lisa Yang |
| 2019 | TCC | Fully Homomorphic NIZK and NIWI Proofs. | Prabhanjan Ananth, Apoorvaa Deshpande, Yael Tauman Kalai, Anna Lysyanskaya |
| 2018 | CRYPTO | Promise Zero Knowledge and Its Applications to Round Optimal MPC. | Saikrishna Badrinarayanan, Vipul Goyal, Abhishek Jain, Yael Tauman Kalai, Dakshita Khurana, Amit Sahai |
| 2018 | EuroCrypt | Statistical Witness Indistinguishability (and more) in Two Messages. | Yael Tauman Kalai, Dakshita Khurana, Amit Sahai |
| 2018 | STOC | Succinct delegation for low-space non-deterministic computation. | Saikrishna Badrinarayanan, Yael Tauman Kalai, Dakshita Khurana, Amit Sahai, Daniel Wichs |
| 2018 | STOC | Multi-collision resistance: a paradigm for keyless hash functions. | Nir Bitansky, Yael Tauman Kalai, Omer Paneth |
| 2017 | ASIACRYPT | Succinct Spooky Free Compilers Are Not Black Box Sound. | Zvika Brakerski, Yael Tauman Kalai, Renen Perlman |
| 2017 | CRYPTO | Distinguisher-Dependent Simulation in Two Rounds and its Applications. | Abhishek Jain, Yael Tauman Kalai, Dakshita Khurana, Ron Rothblum |
| 2017 | CRYPTO | From Obfuscation to the Security of Fiat-Shamir for Proofs. | Yael Tauman Kalai, Guy N. Rothblum, Ron D. Rothblum |
| 2017 | STOC | Non-interactive delegation and batch NP verification from standard computational assumptions. | Zvika Brakerski, Justin Holmgren, Yael Tauman Kalai |
| 2016 | TCC | 3-Message Zero Knowledge Against Human Ignorance. | Nir Bitansky, Zvika Brakerski, Yael Tauman Kalai, Omer Paneth, Vinod Vaikuntanathan |
| 2016 | TCC | Cryptographic Assumptions: A Position Paper. | Shafi Goldwasser, Yael Tauman Kalai |
| 2016 | TCC | Delegating RAM Computations. | Yael Tauman Kalai, Omer Paneth |
| 2015 | CRYPTO | Arguments of Proximity - [Extended Abstract]. | Yael Tauman Kalai, Ron D. Rothblum |
| 2015 | ICALP | Adaptively Secure Coin-Flipping, Revisited. | Shafi Goldwasser, Yael Tauman Kalai, Sunoo Park |
| 2015 | TCC | On Obfuscation with Random Oracles. | Ran Canetti, Yael Tauman Kalai, Omer Paneth |
| 2014 | CRYPTO | The Impossibility of Obfuscation with Auxiliary Input or a Universal Simulator. | Nir Bitansky, Ran Canetti, Henry Cohn, Shafi Goldwasser, Yael Tauman Kalai, Omer Paneth, Alon Rosen |
| 2014 | CRYPTO | On Virtual Grey Box Obfuscation for General Circuits. | Nir Bitansky, Ran Canetti, Yael Tauman Kalai, Omer Paneth |
| 2014 | EuroCrypt | Protecting Obfuscation against Algebraic Attacks. | Boaz Barak, Sanjam Garg, Yael Tauman Kalai, Omer Paneth, Amit Sahai |
| 2014 | STOC | How to delegate computations: the power of no-signaling proofs. | Yael Tauman Kalai, Ran Raz, Ron D. Rothblum |
| 2014 | TCC | Obfuscation for Evasive Functions. | Boaz Barak, Nir Bitansky, Ran Canetti, Yael Tauman Kalai, Omer Paneth, Amit Sahai |
| 2014 | TCC | Securing Circuits and Protocols against 1/poly(k) Tampering Rate. | Dana Dachman-Soled, Yael Tauman Kalai |
| 2013 | CRYPTO | Secure Computation against Adaptive Auxiliary Information. | Elette Boyle, Sanjam Garg, Abhishek Jain, Yael Tauman Kalai, Amit Sahai |
| 2013 | CRYPTO | How to Run Turing Machines on Encrypted Data. | Shafi Goldwasser, Yael Tauman Kalai, Raluca A. Popa, Vinod Vaikuntanathan, Nickolai Zeldovich |
| 2013 | STOC | Reusable garbled circuits and succinct functional encryption. | Shafi Goldwasser, Yael Tauman Kalai, Raluca A. Popa, Vinod Vaikuntanathan, Nickolai Zeldovich |
| 2013 | STOC | Delegation for bounded space. | Yael Tauman Kalai, Ran Raz, Ron D. Rothblum |
| 2013 | TCC | Why "Fiat-Shamir for Proofs" Lacks a Proof. | Nir Bitansky, Dana Dachman-Soled, Sanjam Garg, Abhishek Jain, Yael Tauman Kalai, Adriana Lpez-Alt, Daniel Wichs |
| 2012 | CRYPTO | Securing Circuits against Constant-Rate Tampering. | Dana Dachman-Soled, Yael Tauman Kalai |
| 2012 | FOCS | Efficient Interactive Coding against Adversarial Noise. | Zvika Brakerski, Yael Tauman Kalai |
| 2012 | FOCS | Formulas Resilient to Short-Circuit Errors. | Yael Tauman Kalai, Allison B. Lewko, Anup Rao |
| 2012 | STOC | Multiparty computation secure against continual memory leakage. | Elette Boyle, Shafi Goldwasser, Abhishek Jain, Yael Tauman Kalai |
| 2012 | TCC | A Parallel Repetition Theorem for Leakage Resilience. | Zvika Brakerski, Yael Tauman Kalai |
| 2011 | ASIACRYPT | Program Obfuscation with Leaky Hardware. | Nir Bitansky, Ran Canetti, Shafi Goldwasser, Shai Halevi, Yael Tauman Kalai, Guy N. Rothblum |
| 2011 | CRYPTO | Memory Delegation. | Kai-Min Chung, Yael Tauman Kalai, Feng-Hao Liu, Ran Raz |
| 2011 | CRYPTO | Cryptography with Tamperable and Leaky Memory. | Yael Tauman Kalai, Bhavana Kanukurthi, Amit Sahai |
| 2011 | TCC | Black-Box Circular-Secure Encryption beyond Affine Functions. | Zvika Brakerski, Shafi Goldwasser, Yael Tauman Kalai |
| 2010 | CRYPTO | Improved Delegation of Computation Using Fully Homomorphic Encryption. | Kai-Min Chung, Yael Tauman Kalai, Salil P. Vadhan |
| 2010 | FOCS | Overcoming the Hole in the Bucket: Public-Key Cryptography Resilient to Continual Memory Leakage. | Zvika Brakerski, Yael Tauman Kalai, Jonathan Katz, Vinod Vaikuntanathan |
| 2010 | TCC | On Symmetric Encryption and Point Obfuscation. | Ran Canetti, Yael Tauman Kalai, Mayank Varia, Daniel Wichs |
| 2010 | TCC | Public-Key Encryption Schemes with Auxiliary Inputs. | Yevgeniy Dodis, Shafi Goldwasser, Yael Tauman Kalai, Chris Peikert, Vinod Vaikuntanathan |
| 2009 | CRYPTO | Probabilistically Checkable Arguments. | Yael Tauman Kalai, Ran Raz |
| 2009 | FOCS | 2-Source Extractors under Computational Assumptions and Cryptography with Defective Randomness. | Yael Tauman Kalai, Xin Li, Anup Rao |
| 2009 | STOC | On cryptography with auxiliary input. | Yevgeniy Dodis, Yael Tauman Kalai, Shachar Lovett |
| 2008 | CRYPTO | One-Time Programs. | Shafi Goldwasser, Yael Tauman Kalai, Guy N. Rothblum |
| 2008 | FOCS | Network Extractor Protocols. | Yael Tauman Kalai, Xin Li, Anup Rao, David Zuckerman |
| 2008 | ICALP | Interactive PCP. | Yael Tauman Kalai, Ran Raz |
| 2008 | STOC | Delegating computation: interactive proofs for muggles. | Shafi Goldwasser, Yael Tauman Kalai, Guy N. Rothblum |
| 2006 | FOCS | Succinct Non-Interactive Zero-Knowledge Proofs with Preprocessing for LOGSNP. | Yael Tauman Kalai, Ran Raz |
| 2005 | EuroCrypt | Smooth Projective Hashing and Two-Message Oblivious Transfer. | Yael Tauman Kalai |
| 2005 | FOCS | On the Impossibility of Obfuscation with Auxiliary Input. | Shafi Goldwasser, Yael Tauman Kalai |
| 2005 | STOC | Concurrent general composition of secure protocols in the timing model. | Yael Tauman Kalai, Yehuda Lindell, Manoj Prabhakaran |
| 2003 | FOCS | On the (In)security of the Fiat-Shamir Paradigm. | Shafi Goldwasser, Yael Tauman Kalai |