BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
3 × USA
Collaborated with:
A.Chiesa D.Genkin A.López-Alt V.Vaikuntanathan E.Ben-Sasson N.Bitansky R.Canetti Y.Ishai M.Prabhakaran A.Sahai
Talks about:
comput (2) proof (2) probabilist (1) multiparti (1) homomorph (1) bootstrap (1) multikey (1) composit (1) checkabl (1) encrypt (1)

Person: Eran Tromer

DBLP DBLP: Tromer:Eran

Contributed to:

STOC 20142014
STOC 20132013
STOC 20122012

Wrote 4 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.
STOC-2013-BitanskyCCT #composition #recursion
Recursive composition and bootstrapping for SNARKS and proof-carrying data (NB, RC, AC, ET), pp. 111–120.
STOC-2012-Lopez-AltTV #encryption #multi #on the fly
On-the-fly multiparty computation on the cloud via multikey fully homomorphic encryption (ALA, ET, VV), pp. 1219–1234.

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.