Yael Tauman Kalai

发表

Smooth Projective Hashing and Two-Message Oblivious Transfer

Yael Tauman Kalai, Shai Halevi, S. Halevi, 2005, Journal of Cryptology.

Delegation with Updatable Unambiguous Proofs and PPAD-Hardness

Yael Tauman Kalai, Omer Paneth, Lisa Yang, 2020, CRYPTO.

DELEGATING COMPUTATION VIA NO-SIGNALING STRATEGIES

Yael Tauman Kalai, Y. Kalai, 2019, Proceedings of the International Congress of Mathematicians (ICM 2018).

Non-Interactive Delegation for Low-Space Non-Deterministic Computation

Yael Tauman Kalai, Amit Sahai, Daniel Wichs, 2017, Electron. Colloquium Comput. Complex..

2-Source Extractors under Computational Assumptions and Cryptography with Defective Randomness

Yael Tauman Kalai, Anup Rao, Xin Li, 2009, 2009 50th Annual IEEE Symposium on Foundations of Computer Science.

Reusable garbled circuits and succinct functional encryption

Yael Tauman Kalai, Vinod Vaikuntanathan, Shafi Goldwasser, 2013, STOC '13.

From Obfuscation to the Security of Fiat-Shamir for Proofs

Yael Tauman Kalai, Ron Rothblum, Guy N. Rothblum, 2017, CRYPTO.

A Parallel Repetition Theorem for Leakage Resilience

Yael Tauman Kalai, Zvika Brakerski, Zvika Brakerski, 2012, TCC.

Constant-Rate Interactive Coding Is Impossible, Even in Constant-Degree Networks

Yael Tauman Kalai, Ran Gelles, 2019, IEEE Trans. Inf. Theory.

Beyond Perturbations: Learning Guarantees with Arbitrary Adversarial Test Examples pdf

Yael Tauman Kalai, Adam Tauman Kalai, Shafi Goldwasser, 2020, NeurIPS.

Program Obfuscation with Leaky Hardware

Yael Tauman Kalai, Nir Bitansky, Ran Canetti, 2011, IACR Cryptol. ePrint Arch..

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Yael Tauman Kalai, Satoshi Obana, Aggelos Kiayias, 2013, KDD 2013.

Computational Extractors with Negligible Error in the CRS Model

Yael Tauman Kalai, Ankit Garg, Dakshita Khurana, 2019, IACR Cryptol. ePrint Arch..

Succinct Spooky Free Compilers Are Not Black Box Sound

Yael Tauman Kalai, Zvika Brakerski, Renen Perlman, 2017, ASIACRYPT.

A Framework for Efficient Signatures, Ring Signatures and Identity Based Encryption in the Standard Model

Yael Tauman Kalai, Zvika Brakerski, Zvika Brakerski, 2010, IACR Cryptol. ePrint Arch..

On the Space Complexity of Linear Programming with Preprocessing

Yael Tauman Kalai, Ran Raz, R. Raz, 2016, Electron. Colloquium Comput. Complex..

Delegating computation: interactive proofs for muggles

Yael Tauman Kalai, Guy N. Rothblum, Shafi Goldwasser, 2008, STOC.

Non-Interactive Non-Malleability from Quantum Supremacy

Yael Tauman Kalai, Dakshita Khurana, Y. Kalai, 2019, Electron. Colloquium Comput. Complex..

How to Leak a Secret: Theory and Applications of Ring Signatures

Yael Tauman Kalai, Adi Shamir, Ronald L. Rivest, 2006, Essays in Memory of Shimon Even.

Memory Delegation

Yael Tauman Kalai, Ran Raz, Feng-Hao Liu, 2011, CRYPTO.

One-Time Programs

Yael Tauman Kalai, Guy N. Rothblum, Shafi Goldwasser, 2008, CRYPTO.

Compressing Communication in Distributed Protocols

Yael Tauman Kalai, Ilan Komargodski, Y. Kalai, 2015, DISC.

Extractors and the Leftover Hash Lemma

Yael Tauman Kalai, Thomas Steinke, Shafi Goldwasser, 2011 .

On Symmetric Encryption and Point Obfuscation

Yael Tauman Kalai, Ran Canetti, Daniel Wichs, 2010, TCC.

Session details: Session 3A

Yael Tauman Kalai, Y. Kalai, 2010, Symposium on the Theory of Computing.

Protecting Obfuscation against Algebraic Attacks

Yael Tauman Kalai, Omer Paneth, Amit Sahai, 2014, EUROCRYPT.

Leakage-resilient coin tossing

Yael Tauman Kalai, Shafi Goldwasser, Elette Boyle, 2011, Distributed Computing.

Succinct Functional Encryption and Applications: Reusable Garbled Circuits and Beyond

Yael Tauman Kalai, Vinod Vaikuntanathan, Shafi Goldwasser, 2012, IACR Cryptol. ePrint Arch..

Securing Circuits and Protocols against 1/poly(k) Tampering Rate

Yael Tauman Kalai, Dana Dachman-Soled, Dana Dachman-Soled, 2014, TCC.

Statistical Witness Indistinguishability (and more) in Two Messages

Yael Tauman Kalai, Amit Sahai, Dakshita Khurana, 2018, IACR Cryptol. ePrint Arch..

The Impossibility of Obfuscation with Auxiliary Input or a Universal Simulator

Yael Tauman Kalai, Nir Bitansky, Omer Paneth, 2014, CRYPTO.

Succinct delegation for low-space non-deterministic computation

Yael Tauman Kalai, Amit Sahai, Daniel Wichs, 2018, STOC.

SNARGs for bounded depth computations and PPAD hardness from sub-exponential LWE

Yael Tauman Kalai, Dakshita Khurana, Ruta Jawale, 2020, IACR Cryptol. ePrint Arch..

Network Extractor Protocols

Yael Tauman Kalai, David Zuckerman, Anup Rao, 2008, 2008 49th Annual IEEE Symposium on Foundations of Computer Science.

Session details: Session 12B

Yael Tauman Kalai, Y. Kalai, 2010, STOC '10.

Securing Circuits against Constant-Rate Tampering

Yael Tauman Kalai, Dana Dachman-Soled, Dana Dachman-Soled, 2012, CRYPTO.

Probabilistically Checkable Arguments

Yael Tauman Kalai, Ran Raz, R. Raz, 2009, CRYPTO.

Multiparty computation secure against continual memory leakage

Yael Tauman Kalai, Shafi Goldwasser, Abhishek Jain, 2012, STOC '12.

Cryptographic Assumptions: A Position Paper

Yael Tauman Kalai, Shafi Goldwasser, S. Goldwasser, 2016, TCC.

Promise Zero Knowledge and its Applications to Round Optimal MPC

Yael Tauman Kalai, Amit Sahai, Vipul Goyal, 2018, IACR Cryptol. ePrint Arch..

Black-Box Circular-Secure Encryption beyond Affine Functions

Yael Tauman Kalai, Zvika Brakerski, Shafi Goldwasser, 2011, TCC.

Cryptography with Tamperable and Leaky Memory

Yael Tauman Kalai, Amit Sahai, Bhavana Kanukurthi, 2011, CRYPTO.

On the impossibility of obfuscation with auxiliary input

Yael Tauman Kalai, Shafi Goldwasser, S. Goldwasser, 2005, 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05).

The impossibility of obfuscation with a universal simulator pdf

Yael Tauman Kalai, Shafi Goldwasser, Henry Cohn, 2014, ArXiv.

Multi-collision resistance: a paradigm for keyless hash functions

Yael Tauman Kalai, Nir Bitansky, Omer Paneth, 2018, IACR Cryptol. ePrint Arch..

Answering Many Queries with Dierential Privacy

Yael Tauman Kalai, Jonathan Ullman, Boaz Barak, 2011 .

Distinguisher-Dependent Simulation in Two Rounds and its Applications

Yael Tauman Kalai, Ron Rothblum, Abhishek Jain, 2017, CRYPTO.

A Survey of Leakage-Resilient Cryptography

Yael Tauman Kalai, Leonid Reyzin, Leonid Reyzin, 2019, IACR Cryptol. ePrint Arch..

On cryptography with auxiliary input

Yael Tauman Kalai, Shachar Lovett, Yevgeniy Dodis, 2009, STOC '09.

Lecture 22: Voter Veriflcation in Mix-net Voting Systems

Yael Tauman Kalai, Ron Rivest, 2004 .

Delegation for bounded space

Yael Tauman Kalai, Ran Raz, Ron Rothblum, 2013, STOC '13.

Overcoming the Hole in the Bucket: Public-Key Cryptography Resilient to Continual Memory Leakage

Yael Tauman Kalai, Jonathan Katz, Vinod Vaikuntanathan, 2010, 2010 IEEE 51st Annual Symposium on Foundations of Computer Science.

Secure Computation against Adaptive Auxiliary Information

Yael Tauman Kalai, Amit Sahai, Sanjam Garg, 2013, CRYPTO.

Public-Key Encryption Schemes with Auxiliary Inputs

Yael Tauman Kalai, Vinod Vaikuntanathan, Shafi Goldwasser, 2010, TCC.

How to Leak a Secret: Theory and Applications of Ring Signatures

Yael Tauman Kalai, Adi Shamir, Ronald L. Rivest, 2001, Essays in Memory of Shimon Even.

SNARGs for Bounded Depth Computations from Sub-Exponential LWE

Yael Tauman Kalai, Rachel Zhang, Y. Kalai, 2020, IACR Cryptol. ePrint Arch..

Fast Interactive Coding against Adversarial Noise

Yael Tauman Kalai, Moni Naor, Zvika Brakerski, 2014, JACM.

Smooth Projective Hashing and Two-Message Oblivious Transfer

Yael Tauman Kalai, 2005, EUROCRYPT.

Fully Homomorphic NIZK and NIWI Proofs

Yael Tauman Kalai, Apoorvaa Deshpande, Anna Lysyanskaya, 2019, IACR Cryptol. ePrint Arch..

Cryptography Against Continual Memory Leakage

Yael Tauman Kalai, Jing Chen, 2011 .

On Virtual Grey Box Obfuscation for General Circuits

Yael Tauman Kalai, Nir Bitansky, Omer Paneth, 2014, CRYPTO.

Obfuscation for Evasive Functions

Yael Tauman Kalai, Nir Bitansky, Omer Paneth, 2014, IACR Cryptol. ePrint Arch..

Interactive Coding for Multiparty Protocols

Yael Tauman Kalai, Allison Bishop, Abhishek Jain, 2015, ITCS.

Lecture 18: Mixnet Voting Systems

Yael Tauman Kalai, Y. Kalai, 2004 .

Interactive PCP

Yael Tauman Kalai, Ran Raz, R. Raz, 2007 .

Improved Delegation of Computation using Fully Homomorphic Encryption

Yael Tauman Kalai, Kai-Min Chung, Salil P. Vadhan, 2010, IACR Cryptol. ePrint Arch..

Arguments of Proximity - [Extended Abstract]

Yael Tauman Kalai, Ron Rothblum, R. Rothblum, 2015, CRYPTO.

Privacy-Preserving Automated Exposure Notification

Yael Tauman Kalai, Ran Canetti, Ronald L. Rivest, 2020, IACR Cryptol. ePrint Arch..

Delegating RAM Computations

Yael Tauman Kalai, Omer Paneth, Y. Kalai, 2016, TCC.

Cryptography Resilient to Continual Memory Leakage

Yael Tauman Kalai, Jonathan Katz, Vinod Vaikuntanathan, 2010 .

3-Message Zero Knowledge Against Human Ignorance

Yael Tauman Kalai, Nir Bitansky, Omer Paneth, 2016, TCC.

Theory of Cryptography

Yael Tauman Kalai, Nir Bitansky, Omer Paneth, 2014, Lecture Notes in Computer Science.

Efficient Interactive Coding against Adversarial Noise

Yael Tauman Kalai, Zvika Brakerski, Zvika Brakerski, 2012, 2012 IEEE 53rd Annual Symposium on Foundations of Computer Science.

Leakage-Resilient Coin Tossing

Yael Tauman Kalai, Shafi Goldwasser, Elette Boyle, 2011, DISC.

Adaptively Secure Coin-Flipping, Revisited

Yael Tauman Kalai, Shafi Goldwasser, Sunoo Park, 2015, ICALP.

Improved Online/Offline Signature Schemes

Yael Tauman Kalai, Adi Shamir, A. Shamir, 2001, CRYPTO.

On Virtual Grey Box Obfuscation for General Circuits

Yael Tauman Kalai, Nir Bitansky, Omer Paneth, 2017, Algorithmica.

A Lower Bound for Adaptively-Secure Collective Coin-Flipping Protocols

Yael Tauman Kalai, Ran Raz, Ilan Komargodski, 2018, Electron. Colloquium Comput. Complex..

Proceedings - 23rd Annual IEEE Conference on Computational Complexity, CCC 2008: Preface

Yael Tauman Kalai, Osamu Watanabe, Yuval Ishai, 2008 .

Leaky Pseudo-Entropy Functions

Yael Tauman Kalai, Mark Braverman, Avinatan Hassidim, 2011, ICS.

Concurrent general composition of secure protocols in the timing model

Yehuda Lindell, Yael Tauman Kalai, Manoj Prabhakaran, 2005, STOC '05.

On Obfuscation with Random Oracles

Yael Tauman Kalai, Omer Paneth, Ran Canetti, 2015, TCC.

A note on the impossibility of obfuscation

Yael Tauman Kalai, Shafi Goldwasser, Henry Cohn, 2014 .

Efficient Multiparty Interactive Coding for Insertions, Deletions, and Substitutions

Yael Tauman Kalai, Ran Gelles, Govind Ramnarayan, 2019, PODC.

How to delegate computations publicly

Yael Tauman Kalai, Omer Paneth, Lisa Yang, 2019, IACR Cryptol. ePrint Arch..

On the (In)security of the Fiat-Shamir paradigm

Yael Tauman Kalai, Shafi Goldwasser, S. Goldwasser, 2003, 44th Annual IEEE Symposium on Foundations of Computer Science, 2003. Proceedings..

Monotone Batch NP-Delegation with Applications to Access Control

Yael Tauman Kalai, Zvika Brakerski, Zvika Brakerski, 2018, IACR Cryptol. ePrint Arch..

How to Run Turing Machines on Encrypted Data

Yael Tauman Kalai, Vinod Vaikuntanathan, Shafi Goldwasser, 2013, CRYPTO.

Formulas Resilient to Short-Circuit Errors

Yael Tauman Kalai, Allison Bishop, Anup Rao, 2012, 2012 IEEE 53rd Annual Symposium on Foundations of Computer Science.

Non-Interactive RAM and Batch NP Delegation from any PIR

Yael Tauman Kalai, Zvika Brakerski, Justin Holmgren, 2016, Electron. Colloquium Comput. Complex..

Non-interactive delegation and batch NP verification from standard computational assumptions

Yael Tauman Kalai, Zvika Brakerski, Justin Holmgren, 2017, STOC.

Succinct Non-Interactive Zero-Knowledge Proofs with Preprocessing for LOGSNP

Yael Tauman Kalai, Ran Raz, R. Raz, 2006, 2006 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS'06).

Delegating computation: interactive proofs for muggles

Yael Tauman Kalai, Guy N. Rothblum, Shafi Goldwasser, 2008, STOC.

Deterministic and Efficient Interactive Coding from Hard-to-Decode Tree Codes

Yael Tauman Kalai, Zvika Brakerski, Raghuvansh Saxena, 2020, 2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS).

Overcoming the Worst-Case Curse for Cryptographic Constructions

Yael Tauman Kalai, Vinod Vaikuntanathan, Shafi Goldwasser, 2013, IACR Cryptol. ePrint Arch..

Concurrent Composition of Secure Protocols in the Timing Model

Yehuda Lindell, Yael Tauman Kalai, Manoj Prabhakaran, 2007, Journal of Cryptology.

Attacks on the Fiat-Shamir paradigm and program obfuscation

Yael Tauman Kalai, Y. Kalai, 2006 .

Robustness of the Learning with Errors Assumption

Yael Tauman Kalai, Vinod Vaikuntanathan, Shafi Goldwasser, 2010, ICS.

Low Error Efficient Computational Extractors in the CRS Model

Yael Tauman Kalai, Ankit Garg, Dakshita Khurana, 2020, EUROCRYPT.

Somewhere Statistical Soundness, Post-Quantum Security, and SNARGs for P

Yael Tauman Kalai, Vinod Vaikuntanathan, Rachel Yun Zhang, 2021, IACR Cryptol. ePrint Arch..

Interactive Error Correcting Codes Over Binary Erasure Channels Resilient to $>\frac12$ Adversarial Corruption pdf

Yael Tauman Kalai, Meghal Gupta, Rachel Zhang, 2021, IACR Cryptol. ePrint Arch..

A Lower Bound for Adaptively-Secure Collective Coin Flipping Protocols

Yael Tauman Kalai, Ran Raz, Ilan Komargodski, 2020, Combinatorica.