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