Privately and Publicly Verifiable Computing Techniques. 1st ed. 2017 - Demirel, Denise (Springer International Publishing, 2020)