Travelled to:1 × Canada
1 × Iceland
1 × Japan
5 × USA
Collaborated with:R.Raz S.Goldwasser R.D.Rothblum S.Park Y.Dodis S.Lovett G.N.Rothblum Y.Lindell M.Prabhakaran E.Boyle A.Jain R.A.Popa V.Vaikuntanathan N.Zeldovich
Talks about:comput (3) secur (3) deleg (3) interact (2) proof (2) cryptographi (1) multiparti (1) auxiliari (1) succinct (1) protocol (1)
Person: Yael Tauman Kalai
DBLP: Kalai:Yael_Tauman
Contributed to:
2015
2014201320122009200820082005Wrote 9 papers:
- ICALP-v2-2015-GoldwasserKP #adaptation #revisited
- Adaptively Secure Coin-Flipping, Revisited (SG, YTK, SP), pp. 663–674.
- STOC-2014-KalaiRR #how #power of #proving
- How to delegate computations: the power of no-signaling proofs (YTK, RR, RDR), pp. 485–494.
- STOC-2013-GoldwasserKPVZ #encryption #functional #reuse
- Reusable garbled circuits and succinct functional encryption (SG, YTK, RAP, VV, NZ), pp. 555–564.
- STOC-2013-KalaiRR #bound
- Delegation for bounded space (YTK, RR, RDR), pp. 565–574.
- STOC-2012-BoyleGJK #memory management #multi
- Multiparty computation secure against continual memory leakage (EB, SG, AJ, YTK), pp. 1235–1254.
- STOC-2009-DodisKL #encryption #on the
- On cryptography with auxiliary input (YD, YTK, SL), pp. 621–630.
- ICALP-C-2008-KalaiR #interactive
- Interactive PCP (YTK, RR), pp. 536–547.
- STOC-2008-GoldwasserKR #interactive #proving
- Delegating computation: interactive proofs for muggles (SG, YTK, GNR), pp. 113–122.
- STOC-2005-KalaiLP #composition #concurrent #protocol
- Concurrent general composition of secure protocols in the timing model (YTK, YL, MP), pp. 644–653.