Refereed delegation of computation
From MaRDI portal
Publication:385709
DOI10.1016/J.IC.2013.03.003zbMATH Open1290.68013OpenAlexW2042489885MaRDI QIDQ385709FDOQ385709
Authors: Ran Canetti, Ben Riva, Guy N. Rothblum 
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
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 (extended abstract)
- 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 (6)
- 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
- From secrecy to soundness: efficient verification via secure computation (extended abstract)
- Refereed delegation of computation
Uses Software
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)
