Privately and publicly verifiable computing techniques a survey - Demirel, Denise; Schabhüser, Lucas; Buchmann, Johannes 1953- (Springer, 2017)