Privately and Publicly Verifiable Computing Techniques : A Survey /

Detalles Bibliográficos
Autores principales:	Demirel, Denise. (Autor), Schabhüser, Lucas. (Autor), Buchmann, Johannes. (Autor)
Autor Corporativo:	SpringerLink (Online service)
Formato:	eBook
Lenguaje:	English
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:	1st ed. 2017.
Colección:	SpringerBriefs in Computer Science,
Materias:	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.

Tabla de Contenidos:

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.

Ejemplares similares