Privately and Publicly Verifiable Computing Techniques : A Survey - Demirel, Denise. (SpringerBriefs in Computer Science,, 2017)