BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kalai:Yael_Tauman

Contributed to:

ICALP (2) 20152015
STOC 20142014
STOC 20132013
STOC 20122012
STOC 20092009
ICALP (2) 20082008
STOC 20082008
STOC 20052005

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.