Privately and Publicly Verifiable Computing Techniques A Survey - Demirel, Denise; Schabhüser, Lucas; Buchmann, Johannes (Springer International Publishing : Imprint: Springer, 2017)