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: Tromer:Eran
Contributed to:
201420132012Wrote 4 papers:
- STOC-2014-GenkinIPST
- 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.