Flexible and efficient verifiable computation on encrypted data
From MaRDI portal
Publication:2061972
DOI10.1007/978-3-030-75248-4_19OpenAlexW3030708022MaRDI QIDQ2061972FDOQ2061972
Authors: Alexandre Bois, Ignacio Cascudo, Dario Fiore, Dongwoo Kim 
Publication date: 21 December 2021
Full work available at URL: https://doi.org/10.1007/978-3-030-75248-4_19
Recommendations
- Boosting verifiable computation on encrypted data
- Verifiable computation on outsourced encrypted data
- Achieving privacy in verifiable computation with multiple servers -- without FHE and without pre-processing
- Delegatable homomorphic encryption with applications to secure outsourcing of computation
- Non-interactive verifiable computing: outsourcing computation to untrusted workers
Cites Work
- Fully homomorphic encryption using ideal lattices
- Fully homomorphic encryption from ring-LWE and security for key dependent messages
- Title not available (Why is that?)
- (Leveled) fully homomorphic encryption without bootstrapping
- Modern computer algebra
- Fully homomorphic SIMD operations
- Non-interactive verifiable computing: outsourcing computation to untrusted workers
- Practical verified computation with streaming interactive proofs
- Title not available (Why is that?)
- How to delegate and verify in public: verifiable computation from attribute-based encryption
- Quadratic span programs and succinct NIZKs without PCPs
- Homomorphic encryption from learning with errors: conceptually-simpler, asymptotically-faster, attribute-based
- How to run Turing machines on encrypted data
- Aurora: transparent succinct arguments for R1CS
- FHEW: bootstrapping homomorphic encryption in less than a second
- Homomorphic encryption for arithmetic of approximate numbers
- Marlin: preprocessing zkSNARKs with universal and updatable SRS
- Libra: succinct zero-knowledge proofs with optimal prover computation
- Homomorphic lower digits removal and improved FHE bootstrapping
- Faster packed homomorphic operations and efficient circuit bootstrapping for TFHE
- Time-optimal interactive proofs for circuit evaluation
- Faster fully homomorphic encryption: bootstrapping in less than 0.1 seconds
- Interactive oracle proofs
- Boosting verifiable computation on encrypted data
- Fiat-Shamir: from practice to theory
Cited In (14)
- Information Security and Cryptology - ICISC 2005
- Delegatable homomorphic encryption with applications to secure outsourcing of computation
- A domain-specific language for computing on encrypted data. (Invited talk)
- Batch Computations Revisited: Combining Key Computations and Batch Verifications
- Verifiable computation on outsourced encrypted data
- Fine-grained secure computation
- Private polynomial commitments and applications to MPC
- Rinocchio: SNARKs for ring arithmetic
- Doubly efficient interactive proofs over infinite and non-commutative rings
- MyOPE: malicious security for oblivious polynomial evaluation
- Boosting verifiable computation on encrypted data
- How to prove statements obliviously?
- Lighter is better: a lighter multi-client verifiable outsourced computation with hybrid homomorphic encryption
- Vector commitments over rings and compressed \(\varSigma \)-protocols
This page was built for publication: Flexible and efficient verifiable computation on encrypted data
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2061972)
