Michael Backes 0001 Manuel Barbosa Dario Fiore 0001 Raphael M. Reischuk ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data. 271-286 2015 IEEE Symposium on Security and Privacy https://doi.org/10.1109/SP.2015.24 https://doi.ieeecomputersociety.org/10.1109/SP.2015.24 conf/sp/2015 db/conf/sp/sp2015.html#0001BFR15