Yael Tauman Kalai

191 papers A* 38A 13B 7Misc 1Journal 95Unranked 27
YearRankTypeTitle / Venue / Authors
2026 J jnl
How to Classically Verify a Quantum Cat without Killing It.
CoRR
Yael Tauman Kalai, Dakshita Khurana, Justin Raizes
2026 J jnl
How to Classically Verify a Quantum Cat without Killing It.
IACR Cryptol. ePrint Arch.
Yael Tauman Kalai, Dakshita Khurana, Justin Raizes
2026 J jnl
SNARGs for NP and Non-Signaling PCPs, Revisited.
IACR Cryptol. ePrint Arch.
Lalita Devadas, Samuel B. Hopkins, Yael Tauman Kalai, Pravesh K. Kothari, Alex Lombardi, Surya Mathialagan
2025 — ed.
Advances in Cryptology - CRYPTO 2025 - 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part I
CRYPTO (1)
Yael Tauman Kalai, Seny F. Kamara
2025 — ed.
Advances in Cryptology - CRYPTO 2025 - 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part II
CRYPTO (2)
Yael Tauman Kalai, Seny F. Kamara
2025 — ed.
Advances in Cryptology - CRYPTO 2025 - 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part III
CRYPTO (3)
Yael Tauman Kalai, Seny F. Kamara
2025 — ed.
Advances in Cryptology - CRYPTO 2025 - 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part IV
CRYPTO (4)
Yael Tauman Kalai, Seny F. Kamara
2025 — ed.
Advances in Cryptology - CRYPTO 2025 - 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part V
CRYPTO (5)
Yael Tauman Kalai, Seny F. Kamara
2025 — ed.
Advances in Cryptology - CRYPTO 2025 - 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part VI
CRYPTO (6)
Yael Tauman Kalai, Seny F. Kamara
2025 — ed.
Advances in Cryptology - CRYPTO 2025 - 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part VII
CRYPTO (7)
Yael Tauman Kalai, Seny F. Kamara
2025 — ed.
Advances in Cryptology - CRYPTO 2025 - 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part VIII
CRYPTO (8)
Yael Tauman Kalai, Seny F. Kamara
2025 A* conf
Classical Commitments to Quantum States.
STOC
Sam Gunn, Yael Tauman Kalai, Anand Natarajan, Ági Villányi
2025 J jnl
Compiling Any MIP
CoRR
Andrew Huang, Yael Tauman Kalai
2025 J jnl
Consensus Sampling for Safer Generative AI.
CoRR
Adam Tauman Kalai, Yael Tauman Kalai, Or Zamir
2025 A* conf
Efficiently Batching Unambiguous Interactive Proofs.
FOCS
Bonnie Berger, Rohan Goyal, Matthew M. Hong, Yael Tauman Kalai
2025 J jnl
Efficiently Batching Unambiguous Interactive Proofs.
CoRR
Bonnie Berger, Rohan Goyal, Matthew M. Hong, Yael Tauman Kalai
2025 J jnl
Efficiently Batching Unambiguous Interactive Proofs.
Electron. Colloquium Comput. Complex.
Bonnie Berger, Rohan Goyal, Matthew M. Hong, Yael Tauman Kalai
2025 A* conf
Parallel Repetition for Post-Quantum Arguments.
FOCS
Andrew Huang, Yael Tauman Kalai
2025 J jnl
Parallel Repetition for Post-Quantum Arguments.
CoRR
Andrew Huang, Yael Tauman Kalai
2025 J jnl
Parallel Repetition for Post-Quantum Arguments.
IACR Cryptol. ePrint Arch.
Andrew Huang, Yael Tauman Kalai
2025 A conf
Polynomial Size, Short-Circuit Resilient Circuits for NC.
ITCS
Yael Tauman Kalai, Raghuvansh R. Saxena
2025 J jnl
Polynomial Size, Short-Circuit Resilient Circuits for NC.
Electron. Colloquium Comput. Complex.
Raghuvansh Saxena, Yael Tauman Kalai
2025 — conf
Somewhat Homomorphic Encryption from Linear Homomorphism and Sparse LPN.
EUROCRYPT (2)
Henry Corrigan-Gibbs, Alexandra Henzinger, Yael Tauman Kalai, Vinod Vaikuntanathan
2025 J jnl
Sum-check protocol for approximate computations.
IACR Cryptol. ePrint Arch.
Dor Bitan, Zachary DeStefano, Shafi Goldwasser, Yuval Ishai, Yael Tauman Kalai, Justin Thaler
2025 A* conf
Universal SNARGs for NP from Proofs of Correctness.
STOC
Zhengzhong Jin, Yael Tauman Kalai, Alex Lombardi, Surya Mathialagan
2024 J jnl
Classical Commitments to Quantum States.
IACR Cryptol. ePrint Arch.
Sam Gunn, Yael Tauman Kalai, Anand Natarajan, Agi Villanyi
2024 J jnl
SNARGs under LWE via Propositional Proofs.
IACR Cryptol. ePrint Arch.
Zhengzhong Jin, Yael Tauman Kalai, Alex Lombardi, Vinod Vaikuntanathan
2024 J jnl
Universal SNARGs for NP from Proofs of Correctness.
IACR Cryptol. ePrint Arch.
Zhengzhong Jin, Yael Tauman Kalai, Alex Lombardi, Surya Mathialagan
2023 A ed.
14th Innovations in Theoretical Computer Science Conference, ITCS 2023, MIT, Cambridge, Massachusetts, USA, January 10-13, 2023
ITCS
Yael Tauman Kalai
2023 A* conf
Interactive Coding with Small Memory.
SODA
Klim Efremenko, Bernhard Haeupler, Yael Tauman Kalai, Gillat Kol, Nicolas Resch, Raghuvansh R. Saxena
2023 — conf
SNARGs and PPAD Hardness from the Decisional Diffie-Hellman Assumption.
EUROCRYPT (2)
Yael Tauman Kalai, Alex Lombardi, Vinod Vaikuntanathan
2023 — conf
SNARGs for Monotone Policy Batch NP.
CRYPTO (2)
Zvika Brakerski, Maya Farber Brodsky, Yael Tauman Kalai, Alex Lombardi, Omer Paneth
2023 J jnl
SNARGs for Monotone Policy Batch NP.
IACR Cryptol. ePrint Arch.
Zvika Brakerski, Maya Farber Brodsky, Yael Tauman Kalai, Alex Lombardi, Omer Paneth
2022 J jnl
Boosting Batch Arguments and RAM Delegation.
IACR Cryptol. ePrint Arch.
Yael Tauman Kalai, Alex Lombardi, Vinod Vaikuntanathan, Daniel Wichs
2022 A* conf
Circuits resilient to short-circuit errors.
STOC
Klim Efremenko, Bernhard Haeupler, Yael Tauman Kalai, Pritish Kamath, Gillat Kol, Nicolas Resch, Raghuvansh R. Saxena
2022 — conf
Constructive Post-Quantum Reductions.
CRYPTO (3)
Nir Bitansky, Zvika Brakerski, Yael Tauman Kalai
2022 J jnl
Constructive Post-Quantum Reductions.
CoRR
Nir Bitansky, Zvika Brakerski, Yael Tauman Kalai
2022 J jnl
Constructive Post-Quantum Reductions.
IACR Cryptol. ePrint Arch.
Nir Bitansky, Zvika Brakerski, Yael Tauman Kalai
2022 J jnl
Efficient Multiparty Interactive Coding - Part II: Non-Oblivious Noise.
IEEE Trans. Inf. Theory
Ran Gelles, Yael Tauman Kalai, Govind Ramnarayan
2022 J jnl
How to Delegate Computations: The Power of No-Signaling Proofs.
J. ACM
Yael Tauman Kalai, Ran Raz, Ron D. Rothblum
2022 J jnl
Interactive Coding with Small Memory.
Electron. Colloquium Comput. Complex.
Klim Efremenko, Bernhard Haeupler, Gillat Kol, Nicolas Resch, Raghuvansh Saxena, Yael Tauman Kalai
2022 A* conf
Interactive error correcting codes over binary erasure channels resilient to > ½ adversarial corruption.
STOC
Meghal Gupta, Yael Tauman Kalai, Rachel Yun Zhang
2022 J jnl
Quantum Advantage from Any Non-Local Game.
IACR Cryptol. ePrint Arch.
Yael Tauman Kalai, Alex Lombardi, Vinod Vaikuntanathan, Lisa Yang
2022 J jnl
SNARGs and PPAD Hardness from the Decisional Diffie-Hellman Assumption.
IACR Cryptol. ePrint Arch.
Yael Tauman Kalai, Alex Lombardi, Vinod Vaikuntanathan
2022 — conf
Succinct Classical Verification of Quantum Computation.
CRYPTO (2)
James Bartusek, Yael Tauman Kalai, Alex Lombardi, Fermi Ma, Giulio Malavolta, Vinod Vaikuntanathan, Thomas Vidick, Lisa Yang
2022 J jnl
Succinct Classical Verification of Quantum Computation.
CoRR
James Bartusek, Yael Tauman Kalai, Alex Lombardi, Fermi Ma, Giulio Malavolta, Vinod Vaikuntanathan, Thomas Vidick, Lisa Yang
2022 J jnl
Succinct Classical Verification of Quantum Computation.
IACR Cryptol. ePrint Arch.
James Bartusek, Yael Tauman Kalai, Alex Lombardi, Fermi Ma, Giulio Malavolta, Vinod Vaikuntanathan, Thomas Vidick, Lisa Yang
2022 — conf
Verifiable Private Information Retrieval.
TCC (3)
Shany Ben-David, Yael Tauman Kalai, Omer Paneth
2022 J jnl
Verifiable Private Information Retrieval.
IACR Cryptol. ePrint Arch.
Shany Ben-David, Yael Tauman Kalai, Omer Paneth
2021 J jnl
A Lower Bound for Adaptively-Secure Collective Coin Flipping Protocols.
Comb.
Yael Tauman Kalai, Ilan Komargodski, Ran Raz
2021 J jnl
Efficient Multiparty Interactive Coding - Part I: Oblivious Insertions, Deletions and Substitutions.
IEEE Trans. Inf. Theory
Ran Gelles, Yael Tauman Kalai, Govind Ramnarayan
2021 J jnl
Interactive Error Correcting Codes Over Binary Erasure Channels Resilient to $>\frac12$ Adversarial Corruption.
CoRR
Meghal Gupta, Yael Tauman Kalai, Rachel Yun Zhang
2021 J jnl
Interactive Error Correcting Codes Over Binary Erasure Channels Resilient to $>\frac12$ Adversarial Corruption.
IACR Cryptol. ePrint Arch.
Meghal Gupta, Yael Tauman Kalai, Rachel Yun Zhang
2021 A* conf
SNARGs for bounded depth computations and PPAD hardness from sub-exponential LWE.
STOC
Ruta Jawale, Yael Tauman Kalai, Dakshita Khurana, Rachel Yun Zhang
2021 J jnl
Somewhere Statistical Soundness, Post-Quantum Security, and SNARGs for P.
IACR Cryptol. ePrint Arch.
Yael Tauman Kalai, Vinod Vaikuntanathan, Rachel Yun Zhang
2021 — conf
Somewhere Statistical Soundness, Post-Quantum Security, and SNARGs.
TCC (1)
Yael Tauman Kalai, Vinod Vaikuntanathan, Rachel Yun Zhang
2020 A ed.
1st Conference on Information-Theoretic Cryptography, ITC 2020, Boston, MA, USA, June 17-19, 2020
ITC
Yael Tauman Kalai, Adam D. Smith, Daniel Wichs
2020 J jnl
Beyond Perturbations: Learning Guarantees with Arbitrary Adversarial Test Examples.
CoRR
Shafi Goldwasser, Adam Tauman Kalai, Yael Tauman Kalai, Omar Montasser
2020 — conf
Delegation with Updatable Unambiguous Proofs and PPAD-Hardness.
CRYPTO (3)
Yael Tauman Kalai, Omer Paneth, Lisa Yang
2020 A* conf
Deterministic and Efficient Interactive Coding from Hard-to-Decode Tree Codes.
FOCS
Zvika Brakerski, Yael Tauman Kalai, Raghuvansh R. Saxena
2020 J jnl
Deterministic and Efficient Interactive Coding from Hard-to-Decode Tree Codes.
Electron. Colloquium Comput. Complex.
Zvika Brakerski, Yael Tauman Kalai, Raghuvansh Saxena
2020 Misc conf
Identifying unpredictable test examples with worst-case guarantees.
ITA
Shafi Goldwasser, Adam Tauman Kalai, Yael Tauman Kalai, Omar Montasser
2020 A conf
Interactive Coding with Constant Round and Communication Blowup.
ITCS
Klim Efremenko, Elad Haramaty, Yael Tauman Kalai
2020 — conf
Low Error Efficient Computational Extractors in the CRS Model.
EUROCRYPT (1)
Ankit Garg, Yael Tauman Kalai, Dakshita Khurana
2020 A* conf
Non-signaling proofs with o(√ log n) provers are in PSPACE.
STOC
Dhiraj Holden, Yael Tauman Kalai
2020 J jnl
Privacy-Preserving Automated Exposure Notification.
IACR Cryptol. ePrint Arch.
Ran Canetti, Yael Tauman Kalai, Anna Lysyanskaya, Ronald L. Rivest, Adi Shamir, Emily Shen, Ari Trachtenberg, Mayank Varia, Daniel J. Weitzner
2020 J jnl
SNARGs for Bounded Depth Computations and PPAD Hardness from Sub-Exponential LWE.
IACR Cryptol. ePrint Arch.
Ruta Jawale, Yael Tauman Kalai, Dakshita Khurana, Rachel Yun Zhang
2020 J jnl
SNARGs for Bounded Depth Computations from Sub-Exponential LWE.
IACR Cryptol. ePrint Arch.
Yael Tauman Kalai, Rachel Yun Zhang
2019 J jnl
A Survey of Leakage-Resilient Cryptography.
IACR Cryptol. ePrint Arch.
Yael Tauman Kalai, Leonid Reyzin
2019 — ch.
A survey of leakage-resilient cryptography.
Providing Sound Foundations for Cryptography
Yael Tauman Kalai, Leonid Reyzin
2019 J jnl
Computational Extractors with Negligible Error in the CRS Model.
IACR Cryptol. ePrint Arch.
Ankit Garg, Yael Tauman Kalai, Dakshita Khurana
2019 J jnl
Constant-Rate Interactive Coding Is Impossible, Even in Constant-Degree Networks.
IEEE Trans. Inf. Theory
Ran Gelles, Yael Tauman Kalai
2019 J jnl
Efficient Multiparty Interactive Coding for Insertions, Deletions and Substitutions.
CoRR
Ran Gelles, Yael Tauman Kalai, Govind Ramnarayan
2019 A* conf
Efficient Multiparty Interactive Coding for Insertions, Deletions, and Substitutions.
PODC
Ran Gelles, Yael Tauman Kalai, Govind Ramnarayan
2019 — conf
Fully Homomorphic NIZK and NIWI Proofs.
TCC (2)
Prabhanjan Ananth, Apoorvaa Deshpande, Yael Tauman Kalai, Anna Lysyanskaya
2019 J jnl
Fully Homomorphic NIZK and NIWI Proofs.
IACR Cryptol. ePrint Arch.
Prabhanjan Ananth, Apoorvaa Deshpande, Yael Tauman Kalai, Anna Lysyanskaya
2019 A* conf
How to delegate computations publicly.
STOC
Yael Tauman Kalai, Omer Paneth, Lisa Yang
2019 — conf
Non-interactive Non-malleability from Quantum Supremacy.
CRYPTO (3)
Yael Tauman Kalai, Dakshita Khurana
2018 A conf
A Lower Bound for Adaptively-Secure Collective Coin-Flipping Protocols.
DISC
Yael Tauman Kalai, Ilan Komargodski, Ran Raz
2018 J jnl
A Lower Bound for Adaptively-Secure Collective Coin-Flipping Protocols.
Electron. Colloquium Comput. Complex.
Ilan Komargodski, Ran Raz, Yael Tauman Kalai
2018 J jnl
Monotone Batch NP-Delegation with Applications to Access Control.
IACR Cryptol. ePrint Arch.
Zvika Brakerski, Yael Tauman Kalai
2018 A* conf
Multi-collision resistance: a paradigm for keyless hash functions.
STOC
Nir Bitansky, Yael Tauman Kalai, Omer Paneth
2018 J jnl
Non-Interactive Non-Malleability from Quantum Supremacy.
IACR Cryptol. ePrint Arch.
Yael Tauman Kalai, Dakshita Khurana
2018 — conf
Promise Zero Knowledge and Its Applications to Round Optimal MPC.
CRYPTO (2)
Saikrishna Badrinarayanan, Vipul Goyal, Abhishek Jain, Yael Tauman Kalai, Dakshita Khurana, Amit Sahai
2018 — conf
Statistical Witness Indistinguishability (and more) in Two Messages.
EUROCRYPT (3)
Yael Tauman Kalai, Dakshita Khurana, Amit Sahai
2018 J jnl
Statistical Witness Indistinguishability (and more) in Two Messages.
IACR Cryptol. ePrint Arch.
Yael Tauman Kalai, Dakshita Khurana, Amit Sahai
2018 A* conf
Succinct delegation for low-space non-deterministic computation.
STOC
Saikrishna Badrinarayanan, Yael Tauman Kalai, Dakshita Khurana, Amit Sahai, Daniel Wichs
2017 A conf
Constant-Rate Interactive Coding Is Impossible, Even In Constant-Degree Networks.
ITCS
Ran Gelles, Yael Tauman Kalai
2017 J jnl
Constant-Rate Interactive Coding Is Impossible, Even In Constant-Degree Networks.
Electron. Colloquium Comput. Complex.
Ran Gelles, Yael Tauman Kalai
2017 J jnl
Delegating Computation: Interactive Proofs for Muggles.
Electron. Colloquium Comput. Complex.
Shafi Goldwasser, Guy N. Rothblum, Yael Tauman Kalai
2017 — conf
Distinguisher-Dependent Simulation in Two Rounds and its Applications.
CRYPTO (2)
Abhishek Jain, Yael Tauman Kalai, Dakshita Khurana, Ron Rothblum
2017 J jnl
Distinguisher-Dependent Simulation in Two Rounds and its Applications.
IACR Cryptol. ePrint Arch.
Abhishek Jain, Yael Tauman Kalai, Dakshita Khurana, Ron Rothblum
2017 — conf
From Obfuscation to the Security of Fiat-Shamir for Proofs.
CRYPTO (2)
Yael Tauman Kalai, Guy N. Rothblum, Ron D. Rothblum
2017 J jnl
Multi-Collision Resistance: A Paradigm for Keyless Hash Functions.
Electron. Colloquium Comput. Complex.
Nir Bitansky, Omer Paneth, Yael Tauman Kalai
2017 J jnl
Multi-Collision Resistance: A Paradigm for Keyless Hash Functions.
IACR Cryptol. ePrint Arch.
Nir Bitansky, Yael Tauman Kalai, Omer Paneth
2017 J jnl
Non-Interactive Delegation for Low-Space Non-Deterministic Computation.
IACR Cryptol. ePrint Arch.
Saikrishna Badrinarayanan, Yael Tauman Kalai, Dakshita Khurana, Amit Sahai, Daniel Wichs
2017 A* conf
Non-interactive delegation and batch NP verification from standard computational assumptions.
STOC
Zvika Brakerski, Justin Holmgren, Yael Tauman Kalai
2017 J jnl
On Virtual Grey Box Obfuscation for General Circuits.
Algorithmica
Nir Bitansky, Ran Canetti, Yael Tauman Kalai, Omer Paneth
2017 J jnl
Promise Zero Knowledge and its Applications to Round Optimal MPC.
IACR Cryptol. ePrint Arch.
Saikrishna Badrinarayanan, Vipul Goyal, Abhishek Jain, Yael Tauman Kalai, Dakshita Khurana, Amit Sahai
2017 — conf
Succinct Spooky Free Compilers Are Not Black Box Sound.
ASIACRYPT (3)
Zvika Brakerski, Yael Tauman Kalai, Renen Perlman
2017 J jnl
Succinct Spooky Free Compilers Are Not Black Box Sound.
IACR Cryptol. ePrint Arch.
Zvika Brakerski, Yael Tauman Kalai, Renen Perlman
2016 — conf
3-Message Zero Knowledge Against Human Ignorance.
TCC (B1)
Nir Bitansky, Zvika Brakerski, Yael Tauman Kalai, Omer Paneth, Vinod Vaikuntanathan
2016 J jnl
3-Message Zero Knowledge Against Human Ignorance.
IACR Cryptol. ePrint Arch.
Nir Bitansky, Zvika Brakerski, Yael Tauman Kalai, Omer Paneth, Vinod Vaikuntanathan
2016 — conf
Cryptographic Assumptions: A Position Paper.
TCC (A1)
Shafi Goldwasser, Yael Tauman Kalai
2016 — conf
Delegating RAM Computations.
TCC (B2)
Yael Tauman Kalai, Omer Paneth
2016 J jnl
From Obfuscation to the Security of Fiat-Shamir for Proofs.
IACR Cryptol. ePrint Arch.
Yael Tauman Kalai, Guy N. Rothblum, Ron D. Rothblum
2016 J jnl
Non-Interactive RAM and Batch NP Delegation from any PIR.
Electron. Colloquium Comput. Complex.
Zvika Brakerski, Justin Holmgren, Yael Tauman Kalai
2016 J jnl
Non-Interactive RAM and Batch NP Delegation from any PIR.
IACR Cryptol. ePrint Arch.
Zvika Brakerski, Justin Holmgren, Yael Tauman Kalai
2016 A conf
On the Space Complexity of Linear Programming with Preprocessing.
ITCS
Yael Tauman Kalai, Ran Raz, Oded Regev
2015 — conf
Adaptively Secure Coin-Flipping, Revisited.
ICALP (2)
Shafi Goldwasser, Yael Tauman Kalai, Sunoo Park
2015 J jnl
Adaptively Secure Coin-Flipping, Revisited.
CoRR
Shafi Goldwasser, Yael Tauman Kalai, Sunoo Park
2015 J jnl
Adaptively Secure Coin-Flipping, Revisited.
IACR Cryptol. ePrint Arch.
Shafi Goldwasser, Yael Tauman Kalai, Sunoo Park
2015 — conf
Arguments of Proximity - [Extended Abstract].
CRYPTO (2)
Yael Tauman Kalai, Ron D. Rothblum
2015 A conf
Compressing Communication in Distributed Protocols.
DISC
Yael Tauman Kalai, Ilan Komargodski
2015 J jnl
Compressing Communication in Distributed Protocols.
CoRR
Yael Tauman Kalai, Ilan Komargodski
2015 J jnl
Compressing Communication in Distributed Protocols.
Electron. Colloquium Comput. Complex.
Yael Tauman Kalai, Ilan Komargodski
2015 J jnl
Cryptographic Assumptions: A Position Paper.
IACR Cryptol. ePrint Arch.
Shafi Goldwasser, Yael Tauman Kalai
2015 J jnl
Delegating Computation: Interactive Proofs for Muggles.
J. ACM
Shafi Goldwasser, Yael Tauman Kalai, Guy N. Rothblum
2015 J jnl
Delegating RAM Computations.
IACR Cryptol. ePrint Arch.
Yael Tauman Kalai, Omer Paneth
2015 A conf
Interactive Coding for Multiparty Protocols.
ITCS
Abhishek Jain, Yael Tauman Kalai, Allison Bishop Lewko
2015 — conf
On Obfuscation with Random Oracles.
TCC (2)
Ran Canetti, Yael Tauman Kalai, Omer Paneth
2015 J jnl
On Obfuscation with Random Oracles.
IACR Cryptol. ePrint Arch.
Ran Canetti, Yael Tauman Kalai, Omer Paneth
2014 J jnl
Fast Interactive Coding against Adversarial Noise.
J. ACM
Zvika Brakerski, Yael Tauman Kalai, Moni Naor
2014 A* conf
How to delegate computations: the power of no-signaling proofs.
STOC
Yael Tauman Kalai, Ran Raz, Ron D. Rothblum
2014 J jnl
Leakage-resilient coin tossing.
Distributed Comput.
Elette Boyle, Shafi Goldwasser, Yael Tauman Kalai
2014 B conf
Obfuscation for Evasive Functions.
TCC
Boaz Barak, Nir Bitansky, Ran Canetti, Yael Tauman Kalai, Omer Paneth, Amit Sahai
2014 — conf
On Virtual Grey Box Obfuscation for General Circuits.
CRYPTO (2)
Nir Bitansky, Ran Canetti, Yael Tauman Kalai, Omer Paneth
2014 J jnl
On Virtual Grey Box Obfuscation for General Circuits.
IACR Cryptol. ePrint Arch.
Nir Bitansky, Ran Canetti, Yael Tauman Kalai, Omer Paneth
2014 J jnl
On the Space Complexity of Linear Programming with Preprocessing.
Electron. Colloquium Comput. Complex.
Yael Tauman Kalai, Ran Raz
2014 A* conf
Protecting Obfuscation against Algebraic Attacks.
EUROCRYPT
Boaz Barak, Sanjam Garg, Yael Tauman Kalai, Omer Paneth, Amit Sahai
2014 B conf
Securing Circuits and Protocols against 1/poly(k) Tampering Rate.
TCC
Dana Dachman-Soled, Yael Tauman Kalai
2014 — conf
The Impossibility of Obfuscation with Auxiliary Input or a Universal Simulator.
CRYPTO (2)
Nir Bitansky, Ran Canetti, Henry Cohn, Shafi Goldwasser, Yael Tauman Kalai, Omer Paneth, Alon Rosen
2014 J jnl
The impossibility of obfuscation with a universal simulator.
CoRR
Henry Cohn, Shafi Goldwasser, Yael Tauman Kalai
2013 J jnl
A Note on the Impossibility of Obfuscation with Auxiliary Input.
IACR Cryptol. ePrint Arch.
Shafi Goldwasser, Yael Tauman Kalai
2013 A* conf
Delegation for bounded space.
STOC
Yael Tauman Kalai, Ran Raz, Ron D. Rothblum
2013 J jnl
How to Delegate Computations: The Power of No-Signaling Proofs.
Electron. Colloquium Comput. Complex.
Yael Tauman Kalai, Ran Raz, Ron Rothblum
2013 J jnl
How to Delegate Computations: The Power of No-Signaling Proofs.
IACR Cryptol. ePrint Arch.
Yael Tauman Kalai, Ran Raz, Ron Rothblum
2013 — conf
How to Run Turing Machines on Encrypted Data.
CRYPTO (2)
Shafi Goldwasser, Yael Tauman Kalai, Raluca A. Popa, Vinod Vaikuntanathan, Nickolai Zeldovich
2013 J jnl
Obfuscation for Evasive Functions.
IACR Cryptol. ePrint Arch.
Boaz Barak, Nir Bitansky, Ran Canetti, Yael Tauman Kalai, Omer Paneth, Amit Sahai
2013 J jnl
Overcoming the Worst-Case Curse for Cryptographic Constructions.
IACR Cryptol. ePrint Arch.
Shafi Goldwasser, Yael Tauman Kalai, Raluca A. Popa, Vinod Vaikuntanathan, Nickolai Zeldovich
2013 J jnl
Protecting Obfuscation Against Algebraic Attacks.
IACR Cryptol. ePrint Arch.
Boaz Barak, Sanjam Garg, Yael Tauman Kalai, Omer Paneth, Amit Sahai
2013 A* conf
Reusable garbled circuits and succinct functional encryption.
STOC
Shafi Goldwasser, Yael Tauman Kalai, Raluca A. Popa, Vinod Vaikuntanathan, Nickolai Zeldovich
2013 — conf
Secure Computation against Adaptive Auxiliary Information.
CRYPTO (1)
Elette Boyle, Sanjam Garg, Abhishek Jain, Yael Tauman Kalai, Amit Sahai
2013 B conf
Why "Fiat-Shamir for Proofs" Lacks a Proof.
TCC
Nir Bitansky, Dana Dachman-Soled, Sanjam Garg, Abhishek Jain, Yael Tauman Kalai, Adriana López-Alt, Daniel Wichs
2012 B conf
A Parallel Repetition Theorem for Leakage Resilience.
TCC
Zvika Brakerski, Yael Tauman Kalai
2012 J jnl
Efficient Interactive Coding Against Adversarial Noise.
Electron. Colloquium Comput. Complex.
Zvika Brakerski, Yael Tauman Kalai
2012 A* conf
Efficient Interactive Coding against Adversarial Noise.
FOCS
Zvika Brakerski, Yael Tauman Kalai
2012 A* conf
Formulas Resilient to Short-Circuit Errors.
FOCS
Yael Tauman Kalai, Allison B. Lewko, Anup Rao
2012 A* conf
Multiparty computation secure against continual memory leakage.
STOC
Elette Boyle, Shafi Goldwasser, Abhishek Jain, Yael Tauman Kalai
2012 J jnl
On the (In)security of the Fiat-Shamir Paradigm, Revisited.
IACR Cryptol. ePrint Arch.
Dana Dachman-Soled, Abhishek Jain, Yael Tauman Kalai, Adriana López-Alt
2012 J jnl
Securing Circuits Against Constant-Rate Tampering.
IACR Cryptol. ePrint Arch.
Dana Dachman-Soled, Yael Tauman Kalai
2012 A* conf
Securing Circuits against Constant-Rate Tampering.
CRYPTO
Dana Dachman-Soled, Yael Tauman Kalai
2012 J jnl
Smooth Projective Hashing and Two-Message Oblivious Transfer.
J. Cryptol.
Shai Halevi, Yael Tauman Kalai
2012 J jnl
Succinct Functional Encryption and Applications: Reusable Garbled Circuits and Beyond.
IACR Cryptol. ePrint Arch.
Shafi Goldwasser, Yael Tauman Kalai, Raluca A. Popa, Vinod Vaikuntanathan, Nickolai Zeldovich
2011 J jnl
A Parallel Repetition Theorem for Leakage Resilience.
IACR Cryptol. ePrint Arch.
Zvika Brakerski, Yael Tauman Kalai
2011 B conf
Black-Box Circular-Secure Encryption beyond Affine Functions.
TCC
Zvika Brakerski, Shafi Goldwasser, Yael Tauman Kalai
2011 A* conf
Cryptography with Tamperable and Leaky Memory.
CRYPTO
Yael Tauman Kalai, Bhavana Kanukurthi, Amit Sahai
2011 A conf
Leakage-Resilient Coin Tossing.
DISC
Elette Boyle, Shafi Goldwasser, Yael Tauman Kalai
2011 J jnl
Leakage-Resilient Coin Tossing.
IACR Cryptol. ePrint Arch.
Elette Boyle, Shafi Goldwasser, Yael Tauman Kalai
2011 A conf
Leaky Pseudo-Entropy Functions.
ICS
Mark Braverman, Avinatan Hassidim, Yael Tauman Kalai
2011 A* conf
Memory Delegation.
CRYPTO
Kai-Min Chung, Yael Tauman Kalai, Feng-Hao Liu, Ran Raz
2011 J jnl
Memory Delegation.
IACR Cryptol. ePrint Arch.
Kai-Min Chung, Yael Tauman Kalai, Feng-Hao Liu, Ran Raz
2011 A conf
Program Obfuscation with Leaky Hardware.
ASIACRYPT
Nir Bitansky, Ran Canetti, Shafi Goldwasser, Shai Halevi, Yael Tauman Kalai, Guy N. Rothblum
2011 J jnl
Program Obfuscation with Leaky Hardware.
IACR Cryptol. ePrint Arch.
Nir Bitansky, Ran Canetti, Shafi Goldwasser, Shai Halevi, Yael Tauman Kalai, Guy N. Rothblum
2010 J jnl
A Framework for Efficient Signatures, Ring Signatures and Identity Based Encryption in the Standard Model.
IACR Cryptol. ePrint Arch.
Zvika Brakerski, Yael Tauman Kalai
2010 A* conf
Improved Delegation of Computation Using Fully Homomorphic Encryption.
CRYPTO
Kai-Min Chung, Yael Tauman Kalai, Salil P. Vadhan
2010 J jnl
Improved Delegation of Computation using Fully Homomorphic Encryption.
IACR Cryptol. ePrint Arch.
Kai-Min Chung, Yael Tauman Kalai, Salil P. Vadhan
2010 B conf
On Symmetric Encryption and Point Obfuscation.
TCC
Ran Canetti, Yael Tauman Kalai, Mayank Varia, Daniel Wichs
2010 J jnl
On Symmetric Encryption and Point Obfuscation.
IACR Cryptol. ePrint Arch.
Ran Canetti, Yael Tauman Kalai, Mayank Varia, Daniel Wichs
2010 J jnl
Overcoming the Hole In The Bucket: Public-Key Cryptography Resilient to Continual Memory Leakage.
IACR Cryptol. ePrint Arch.
Zvika Brakerski, Yael Tauman Kalai, Jonathan Katz, Vinod Vaikuntanathan
2010 A* conf
Overcoming the Hole in the Bucket: Public-Key Cryptography Resilient to Continual Memory Leakage.
FOCS
Zvika Brakerski, Yael Tauman Kalai, Jonathan Katz, Vinod Vaikuntanathan
2010 B conf
Public-Key Encryption Schemes with Auxiliary Inputs.
TCC
Yevgeniy Dodis, Shafi Goldwasser, Yael Tauman Kalai, Chris Peikert, Vinod Vaikuntanathan
2010 A conf
Robustness of the Learning with Errors Assumption.
ICS
Shafi Goldwasser, Yael Tauman Kalai, Chris Peikert, Vinod Vaikuntanathan
2009 A* conf
2-Source Extractors under Computational Assumptions and Cryptography with Defective Randomness.
FOCS
Yael Tauman Kalai, Xin Li, Anup Rao
2009 J jnl
Black-Box Circular-Secure Encryption Beyond Affine Functions.
IACR Cryptol. ePrint Arch.
Zvika Brakerski, Shafi Goldwasser, Yael Tauman Kalai
2009 A* conf
On cryptography with auxiliary input.
STOC
Yevgeniy Dodis, Yael Tauman Kalai, Shachar Lovett
2009 A* conf
Probabilistically Checkable Arguments.
CRYPTO
Yael Tauman Kalai, Ran Raz
2008 A* conf
Delegating computation: interactive proofs for muggles.
STOC
Shafi Goldwasser, Yael Tauman Kalai, Guy N. Rothblum
2008 — conf
Interactive PCP.
ICALP (2)
Yael Tauman Kalai, Ran Raz
2008 A* conf
Network Extractor Protocols.
FOCS
Yael Tauman Kalai, Xin Li, Anup Rao, David Zuckerman
2008 A* conf
One-Time Programs.
CRYPTO
Shafi Goldwasser, Yael Tauman Kalai, Guy N. Rothblum
2007 J jnl
Concurrent Composition of Secure Protocols in the Timing Model.
J. Cryptol.
Yael Tauman Kalai, Yehuda Lindell, Manoj Prabhakaran
2007 J jnl
Interactive PCP.
Electron. Colloquium Comput. Complex.
Yael Tauman Kalai, Ran Raz
2007 J jnl
Smooth Projective Hashing and Two-Message Oblivious Transfer.
IACR Cryptol. ePrint Arch.
Shai Halevi, Yael Tauman Kalai
2006 — —
Attacks on the Fiat-Shamir paradigm and program obfuscation.
Yael Tauman Kalai
2006 A* conf
Succinct Non-Interactive Zero-Knowledge Proofs with Preprocessing for LOGSNP.
FOCS
Yael Tauman Kalai, Ran Raz
2005 J jnl
Concurrent Composition of Secure Protocols in the Timing Model.
IACR Cryptol. ePrint Arch.
Yael Tauman Kalai, Yehuda Lindell, Manoj Prabhakaran
2005 A* conf
Concurrent general composition of secure protocols in the timing model.
STOC
Yael Tauman Kalai, Yehuda Lindell, Manoj Prabhakaran
2005 A* conf
On the Impossibility of Obfuscation with Auxiliary Input.
FOCS
Shafi Goldwasser, Yael Tauman Kalai
2005 A* conf
Smooth Projective Hashing and Two-Message Oblivious Transfer.
EUROCRYPT
Yael Tauman Kalai
2003 A* conf
On the (In)security of the Fiat-Shamir Paradigm.
FOCS
Shafi Goldwasser, Yael Tauman Kalai