Privately and Publicly Verifiable Computing Techniques A Survey Demirel Denise Heftet / 2017 / Engelsk