Privately and Publicly Verifiable Computing Techniques : A Survey /

Bibliographic Details
Main Authors:	Demirel, Denise. (Author), Schabhüser, Lucas. (Author), Buchmann, Johannes. (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:	1st ed. 2017.
Series:	SpringerBriefs in Computer Science,
Subjects:	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.

Table of Contents:

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.

Similar Items