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 (12)
- 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
- 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
- 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)
