Private Multi-party Matrix Multiplication and Trust Computations
Jean-Guillaume Dumas (CASYS), Pascal Lafourcade (LIMOS), Jean-Baptiste, Orfila (CASYS), Maxime Puys (VERIMAG - IMAG)

TL;DR
This paper introduces new protocols for secure distributed matrix multiplication where each participant learns only a specific output row, improving efficiency and security in trust evaluations over networks.
Contribution
It presents a novel, efficient protocol for multi-party matrix multiplication with enhanced security features and practical trust evaluation applications.
Findings
Improved weighted average protocol with quadratic communication volume
A five-round protocol using homomorphic encryption secure against semi-honest and malicious adversaries
Verification of security using ProVerif and countermeasures for identified attacks
Abstract
This paper deals with distributed matrix multiplication. Each player owns only one row of both matrices and wishes to learn about one distinct row of the product matrix, without revealing its input to the other players. We first improve on a weighted average protocol, in order to securely compute a dot-product with a quadratic volume of communications and linear number of rounds. We also propose a protocol with five communication rounds, using a Paillier-like underlying homomorphic public key cryptosystem, which is secure in the semi-honest model or secure with high probability in the malicious adversary model. Using ProVerif, a cryptographic protocol verification tool, we are able to check the security of the protocol and provide a countermeasure for each attack found by the tool. We also give a randomization method to avoid collusion attacks. As an application, we show that this…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsCryptography and Data Security · Complexity and Algorithms in Graphs · Stochastic Gradient Optimization Techniques
