Privately and Publicly Verifiable Computing Techniques A Survey /

• Κύριοι συγγραφείς: Demirel, Denise (Συγγραφέας), Schabhüser, Lucas (Συγγραφέας), Buchmann, Johannes (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Σειρά: SpringerBriefs in Computer Science,
• Θέματα: Computer science.; Computer software > Reusability.; Data structures (Computer science).; Computer science > Mathematics.; Discrete mathematics.; Computer Science.; Data Structures, Cryptology and Information Theory.; Mathematics of Computing.; Discrete Mathematics.; Performance and Reliability.

This book presents the first comprehensive overview of various verifiable computing techniques, which allow the computation of a function on outsourced data to be delegated to a server. It provides a brief description of all the approaches and highlights the properties each solution achieves. Furthe...

Πίνακας περιεχομένων:

• 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.