New publicly verifiable computation for batch matrix multiplication

DOI10.1016/J.INS.2017.11.063MaRDI QIDQ2004759zbMATH OpenOpenAlexFDO

Authors Tao Jiang, Kuan-Ching Li, Aniello Castiglione, Xiaofeng Chen, Xiao-Yu Zhang

Publication date 7 October 2020

Published in Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ins.2017.11.063

zbMATH Keywords

privacy protectionbatch matrix multiplicationpublic delegationpublicly verifiable computation

Mathematics Subject Classification ID

Cryptography (94A60) Internet topics (68M11) Privacy of data (68P27)

Recommendations

• A blindly public verifiable outsourcing scheme for matrix multiplication
• Protecting data privacy in publicly verifiable delegation of matrix and polynomial functions
• Batch verifiable computation with public verifiability for outsourcing polynomials and matrix computations
• Multi-server verifiable delegation of computations: unconditional security and practical efficiency
• Prover efficient public verification of dense or sparse/structured matrix-vector multiplication

Cites work

• scientific article; zbMATH DE number 1617943 (Why is no real title available?)
• Fully homomorphic encryption using ideal lattices
• How to delegate and verify in public: verifiable computation from attribute-based encryption
• KDVEM: a \(k\)-degree anonymity with vertex and edge modification algorithm
• Non-interactive verifiable computing: outsourcing computation to untrusted workers
• Preconditioning techniques for large linear systems: A survey
• Secure Optimization Computation Outsourcing in Cloud Computing: A Case Study of Linear Programming
• Self-testing/correcting with applications to numerical problems
• The Knowledge Complexity of Interactive Proof Systems
• The lorentz transformation and absolute time
• Verifiable Auditing for Outsourced Database in Cloud Computing
• Verifiable Computation over Large Database with Incremental Updates
• Verifiable delegation of computation over large datasets

Cited in

(12)

• A blindly public verifiable outsourcing scheme for matrix multiplication
• Batch Computations Revisited: Combining Key Computations and Batch Verifications
• Prover efficient public verification of dense or sparse/structured matrix-vector multiplication
• Privacy-preserving verifiable delegation of polynomial and matrix functions
• Verifiable and secure outsourcing protocol for convex quadratic programming
• Verifiable inner product computation on outsourced database for authenticated multi-user data sharing
• Outsourcing computing of large matrix Jordan decomposition
• Batch verifiable computation with public verifiability for outsourcing polynomials and matrix computations
• Protecting data privacy in publicly verifiable delegation of matrix and polynomial functions
• Privacy preserving multi-party computation delegation for deep learning in cloud computing
• An Almost Non-interactive Order Preserving Encryption Scheme
• A new secure matrix multiplication from ring-LWE

Describes a project that uses

Uses Software

• Pinocchio

This page was built for publication: New publicly verifiable computation for batch matrix multiplication

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