Privately and publicly verifiable computing techniques : a survey /: a survey. (2017)

• Record Type: Book
• Further Information: Note: Denise Demirel, Lucas Schabhüser, Johannes Buchmann.
• Authors: Demirel, Denise; Schabhüser, Lucas; Buchmann, Johannes
• 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.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2017
• Extent: 1 online resource
• Subjects: 005.1/4; Computer science; Computer programs -- Verification; COMPUTERS -- General; Computer programs -- Verification; Computers -- Data Processing; Mathematics -- Discrete Mathematics; Computers -- Hardware -- General; Mathematical theory of computation; Discrete mathematics; Systems analysis & design; Data structures (Computer science); Operating systems (Computers); Computers -- Information Theory; Algorithms & data structures; Electronic books
• Languages: English
• ISBNs: 9783319537986; 3319537989
• Related ISBNs: 9783319537979; 3319537970
• Notes: Note: Includes bibliographical references.; Note: Online resource; title from PDF title page (SpringerLink, viewed April 11, 2017).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.