| Zerocash: Decentralized anonymous payments from bitcoin EB Sasson, A Chiesa, C Garman, M Green, I Miers, E Tromer, M Virza 2014 IEEE Symposium on Security and Privacy, 459-474, 2014 | 1272 | 2014 |
| SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge E Ben-Sasson, A Chiesa, D Genkin, Tromer, Eran, M Virza 33rd International Cryptology Conference (CRYPTO 2013), 2013 | 481 | 2013 |
| Succinct non-interactive zero knowledge for a von Neumann architecture E Ben-Sasson, A Chiesa, E Tromer, M Virza Cryptology ePrint Archive, Report 2013/879, 2 013, 2013 | 411 | 2013 |
| From extractable collision resistance to succinct non-interactive arguments of knowledge, and back again N Bitansky, R Canetti, A Chiesa, E Tromer 3rd Innovations in Theoretical Computer Science Conference (ITCS 2012), 326-349, 2012 | 339 | 2012 |
| Succinct Non-Interactive Arguments via Linear Interactive Proofs N Bitansky, A Chiesa, Y Ishai, R Ostrovsky, O Paneth 10th Theory of Cryptography Conference (TCC 2013), 315-333, 2012 | 238 | 2012 |
| Recursive composition and bootstrapping for SNARKs and proof-carrying data N Bitansky, R Canetti, A Chiesa, E Tromer 45th Symposium on the Theory of Computing (STOC 2013), 2012 | 228 | 2012 |
| Scalable zero knowledge via cycles of elliptic curves E Ben-Sasson, A Chiesa, E Tromer, M Virza Algorithmica 79 (4), 1102-1160, 2017 | 191 | 2017 |
| Secure sampling of public parameters for succinct zero knowledge proofs E Ben-Sasson, A Chiesa, M Green, E Tromer, M Virza 2015 IEEE Symposium on Security and Privacy, 287-304, 2015 | 126 | 2015 |
| Interactive oracle proofs E Ben-Sasson, A Chiesa, N Spooner Theory of Cryptography Conference, 31-60, 2016 | 122 | 2016 |
| Aurora: Transparent succinct arguments for R1CS E Ben-Sasson, A Chiesa, M Riabzev, N Spooner, M Virza, NP Ward Annual international conference on the theory and applications of …, 2019 | 110 | 2019 |
| The hunting of the SNARK N Bitansky, R Canetti, A Chiesa, S Goldwasser, H Lin, A Rubinstein, ... Journal of Cryptology 30 (4), 989-1066, 2017 | 99 | 2017 |
| Fast reductions from RAMs to delegatable succinct constraint satisfaction problems E Ben-Sasson, A Chiesa, D Genkin, E Tromer 4th Symposium on Innovations in Theoretical Computer Science (ITCS 2013 …, 2012 | 89 | 2012 |
| On the concrete-efficiency of probabilistically-checkable proofs E Ben-Sasson, A Chiesa, D Genkin, E Tromer 45th Symposium on the Theory of Computing (STOC 2013), 2012 | 85* | 2012 |
| Oblix: An efficient oblivious search index P Mishra, R Poddar, J Chen, A Chiesa, RA Popa 2018 IEEE Symposium on Security and Privacy (SP), 279-296, 2018 | 69 | 2018 |
| Computational integrity with a public random string from quasi-linear PCPs E Ben-Sasson, I Bentov, A Chiesa, A Gabizon, D Genkin, M Hamilis, ... Annual International Conference on the Theory and Applications of …, 2017 | 63 | 2017 |
| Cluster computing in zero knowledge A Chiesa, E Tromer, M Virza Annual International Conference on the Theory and Applications of …, 2015 | 63 | 2015 |
| Proof-carrying data and hearsay arguments from signature cards A Chiesa, E Tromer 1st Symposium on Innovations in Computer Science (ICS 2010), 310-331, 2010 | 59 | 2010 |
| Marlin: Preprocessing zksnarks with universal and updatable srs A Chiesa, Y Hu, M Maller, P Mishra, N Vesely, N Ward Annual International Conference on the Theory and Applications of …, 2020 | 56 | 2020 |
| Zexe: Enabling decentralized private computation S Bowe, A Chiesa, M Green, I Miers, P Mishra, H Wu 2020 IEEE Symposium on Security and Privacy (SP), 947-964, 2020 | 50 | 2020 |
| Interactive oracle proofs with constant rate and query complexity E Ben-Sasson, A Chiesa, A Gabizon, M Riabzev, N Spooner 44th International Colloquium on Automata, Languages, and Programming (ICALP …, 2017 | 49* | 2017 |
Eran TromerTel Aviv University + Columbia UniversityVerified email at cs.tau.ac.il
