Batch verifiable computation with public verifiability for outsourcing polynomials and matrix computations

DOI10.1007/978-3-319-40253-6_18MaRDI QIDQ2817469zbMATH OpenOpenAlexFDO

Authors Yu Yu, Haifeng Qian, Yu-Juan Sun, Xiangxue Li, Kai Zhang, Yuan Zhou

Publication date 31 August 2016

Published in Information Security and Privacy (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-40253-6_18

zbMATH Keywords

pseudorandom functionpublic verifiabilitystorage overheadbatch verifiable computation

Mathematics Subject Classification ID

Cryptography (94A60) Network protocols (68M12)

Recommendations

• Batch verifiable computation of polynomials on outsourced data
• Batch verifiable computation of outsourced functions
• New publicly verifiable computation for batch matrix multiplication
• Protecting data privacy in publicly verifiable delegation of matrix and polynomial functions
• Multi-server verifiable delegation of computations: unconditional security and practical efficiency

Cites work

• scientific article; zbMATH DE number 5485522 (Why is no real title available?)
• scientific article; zbMATH DE number 2079932 (Why is no real title available?)
• (Leveled) fully homomorphic encryption without bootstrapping
• Batch verifiable computation of outsourced functions
• From secrecy to soundness: efficient verification via secure computation (extended abstract)
• Fully homomorphic encryption from ring-LWE and security for key dependent messages
• How to delegate and verify in public: verifiable computation from attribute-based encryption
• Improved delegation of computation using fully homomorphic encryption
• Memory delegation
• Non-interactive verifiable computing: outsourcing computation to untrusted workers
• Practical homomorphic MACs for arithmetic circuits
• Signatures of correct computation
• Verifiable delegation of computation over large datasets

Cited in

(10)

• New publicly verifiable computation for batch matrix multiplication
• Hybrid publicly verifiable computation
• Batch Computations Revisited: Combining Key Computations and Batch Verifications
• On black-box verifiable outsourcing
• Prover efficient public verification of dense or sparse/structured matrix-vector multiplication
• Batch verifiable computation of outsourced functions
• Secure publicly verifiable computation with polynomial commitment in cloud computing
• Protecting data privacy in publicly verifiable delegation of matrix and polynomial functions
• Outsourcing scalar products and matrix products on privacy-protected unencrypted data stored in untrusted clouds
• Batch verifiable computation of polynomials on outsourced data

Describes a project that uses

Uses Software

• Pinocchio

This page was built for publication: Batch verifiable computation with public verifiability for outsourcing polynomials and matrix computations

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