Dario Fiore 0001 Anca Nitulescu David Pointcheval Boosting Verifiable Computation on Encrypted Data. 132 2020 2020 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2020/132 db/journals/iacr/iacr2020.html#FioreNP20