Refereed delegation of computation

DOI10.1016/J.IC.2013.03.003zbMATH Open1290.68013OpenAlexW2042489885MaRDI QIDQ385709FDOQ385709

Ran Canetti, Guy N. Rothblum, Ben Riva

Publication date: 3 December 2013

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2013.03.003

Recommendations

• Two protocols for delegation of computation
• Batch verifiable computation of outsourced functions
• From secrecy to soundness: efficient verification via secure computation (extended abstract)
• Multi-server verifiable delegation of computations: unconditional security and practical efficiency
• Delegating computation: interactive proofs for muggles

zbMATH Keywords

delegation of computationrefereed gamesverifiable computation

Mathematics Subject Classification ID

Applications of game theory (91A80) Network protocols (68M12)

Cites Work

• Probabilistic checking of proofs
• Universal Arguments and their Applications
• Non-interactive Verifiable Computing: Outsourcing Computation to Untrusted Workers
• Improved Delegation of Computation Using Fully Homomorphic Encryption
• From Secrecy to Soundness: Efficient Verification via Secure Computation
• Memory Delegation
• Algebraic methods for interactive proof systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Practical verified computation with streaming interactive proofs
• From extractable collision resistance to succinct non-interactive arguments of knowledge, and back again
• Secure Two-Party Computation with Low Communication
• Competing provers protocols for circuit evaluation
• Short Pairing-Based Non-interactive Zero-Knowledge Arguments
• Probabilistically Checkable Arguments
• Succinct NP Proofs from an Extractability Assumption
• Title not available (Why is that?)
• Refereed delegation of computation
• Computationally Sound Proofs
• Verifiable Delegation of Computation over Large Datasets
• Two Protocols for Delegation of Computation
• Theory of Cryptography

Cited In (5)

• Title not available (Why is that?)
• Financially backed covert security
• Efficient and generic methods to achieve active security in private information retrieval and more advanced database search
• Outsourcing computation: the minimal refereed mechanism
• Refereed delegation of computation

Uses Software

• DynInst
• Flicker
• PyEmu
• Quin

This page was built for publication: Refereed delegation of computation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q385709)