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