Yael Kalai

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 18

Top Topics

Mathematical Knowledge

Top Venues

IACR Cryptol. ePrint Arch.

Electron. Colloquium Comput. Complex.

Publications

Zhengzhong Jin, Yael Kalai, Alex Lombardi, Vinod Vaikuntanathan
SNARGs under LWE via Propositional Proofs. STOC (2024)
Yael Kalai, Alex Lombardi, Vinod Vaikuntanathan, Daniel Wichs
Boosting Batch Arguments and RAM Delegation. STOC (2023)
Boaz Barak, Yael Kalai, Ran Raz, Salil P. Vadhan, Nisheeth K. Vishnoi
On the works of Avi Wigderson. CoRR (2023)
Yael Kalai, Alex Lombardi, Vinod Vaikuntanathan, Lisa Yang
Quantum Advantage from Any Non-local Game. STOC (2023)
Klim Efremenko, Bernhard Haeupler, Yael Kalai, Pritish Kamath, Gillat Kol, Nicolas Resch, Raghuvansh Saxena
Circuits Resilient to Short-Circuit Errors. Electron. Colloquium Comput. Complex. (2022)
Yael Kalai, Alex Lombardi, Vinod Vaikuntanathan, Lisa Yang
Quantum Advantage from Any Non-Local Game. CoRR (2022)
Lalita Devadas, Rishab Goyal, Yael Kalai, Vinod Vaikuntanathan
Rate-1 Non-Interactive Arguments for Batch-NP and Applications. FOCS (2022)
Lalita Devadas, Rishab Goyal, Yael Kalai, Vinod Vaikuntanathan
Rate-1 Non-Interactive Arguments for Batch-NP and Applications. IACR Cryptol. ePrint Arch. 2022 (2022)
Zvika Brakerski, Yael Kalai
Witness Indistinguishability for Any Single-Round Argument with Applications to Access Control. Public Key Cryptography (2) (2020)
Shafi Goldwasser, Adam Tauman Kalai, Yael Kalai, Omar Montasser
Beyond Perturbations: Learning Guarantees with Arbitrary Adversarial Test Examples. NeurIPS (2020)
Dhiraj Holden, Yael Kalai
No-Signaling Proofs with O(√(log n)) Provers are in PSPACE. CoRR (2019)
Yael Kalai, Omer Paneth, Lisa Yang
How to Delegate Computations Publicly. IACR Cryptol. ePrint Arch. 2019 (2019)
Saikrishna Badrinarayanan, Yael Kalai, Dakshita Khurana, Amit Sahai, Daniel Wichs
Non-Interactive Delegation for Low-Space Non-Deterministic Computation. Electron. Colloquium Comput. Complex. 25 (2018)
Costis Daskalakis, Yael Kalai, Sandy Irani
Special Section on the Forty-Seventh Annual ACM Symposium on Theory of Computing (STOC 2015). SIAM J. Comput. 47 (3) (2018)
Yael Kalai, Omer Paneth, Lisa Yang
On Publicly Verifiable Delegation From Standard Assumptions. IACR Cryptol. ePrint Arch. 2018 (2018)
Klim Efremenko, Elad Haramaty, Yael Kalai
Interactive Coding with Constant Round and Communication Blowup. Electron. Colloquium Comput. Complex. 25 (2018)
Apoorvaa Deshpande, Yael Kalai
Proofs of Ignorance and Applications to 2-Message Witness Hiding. IACR Cryptol. ePrint Arch. 2018 (2018)
Yael Kalai, Dakshita Khurana
Non-Interactive Non-Malleability from Quantum Supremacy. Electron. Colloquium Comput. Complex. 25 (2018)