New publicly verifiable computation for batch matrix multiplication

DOI10.1016/J.INS.2017.11.063zbMATH Open1443.68060OpenAlexW2772035212MaRDI QIDQ2004759FDOQ2004759

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

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

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

zbMATH Keywords

privacy protectionbatch matrix multiplicationpublic delegationpublicly verifiable computation

Mathematics Subject Classification ID

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

Cites Work

• Preconditioning techniques for large linear systems: A survey
• Fully homomorphic encryption using ideal lattices
• Self-testing/correcting with applications to numerical problems
• The Knowledge Complexity of Interactive Proof Systems
• Non-interactive Verifiable Computing: Outsourcing Computation to Untrusted Workers
• The lorentz transformation and absolute time
• Title not available (Why is that?)
• Verifiable Delegation of Computation over Large Datasets
• How to Delegate and Verify in Public: Verifiable Computation from Attribute-Based Encryption
• Verifiable Computation over Large Database with Incremental Updates
• KDVEM: a \(k\)-degree anonymity with vertex and edge modification algorithm
• Verifiable Auditing for Outsourced Database in Cloud Computing
• Secure Optimization Computation Outsourcing in Cloud Computing: A Case Study of Linear Programming

Cited In (4)

• Batch Computations Revisited: Combining Key Computations and Batch Verifications
• 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

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)