BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × USA
Collaborated with:
E.Tromer E.Ben-Sasson A.Chiesa Y.Ishai M.Prabhakaran A.Sahai
Talks about:
probabilist (1) checkabl (1) concret (1) circuit (1) resili (1) effici (1) comput (1) attack (1) applic (1) secur (1)

Person: Daniel Genkin

DBLP DBLP: Genkin:Daniel

Contributed to:

STOC 20142014
STOC 20132013

Wrote 2 papers:

Circuits resilient to additive attacks with applications to secure computation (DG, YI, MP, AS, ET), pp. 495–504.
STOC-2013-Ben-SassonCGT #on the #performance #proving
On the concrete efficiency of probabilistically-checkable proofs (EBS, AC, DG, ET), pp. 585–594.

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.