Privately and Publicly Verifiable Computing Techniques : A Survey - Demirel, Denise; Schabhüser, Lucas; Buchmann, Johannes; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Introduction -- Preliminaries -- Proof Based Verifiable Computing -- Verifiable Computing from Fully Homomorphic Encryption -- Homomorphic Authenticators -- Verifiable Computing Frameworks from Functional Encryption and Functional Signatures -- Verifiable Computing for Specific Applications -- Analysis of the State of the Art -- Conclusion.
Keywords: Data structures (Computer science).; Computer science-Mathematics.; Discrete mathematics; Computer software-Reusability.; Data Structures and Information Theory; Mathematics of Computing; Discrete Mathematics; Performance and Reliability