Verification protocols with sub-linear communication for polynomial matrix operations.
David LucasVincent NeigerClément PernetDaniel S. RocheJohan RosenkildePublished in: J. Symb. Comput. (2021)
Keyphrases
- communication protocols
- communication protocol
- low order
- symmetric matrix
- cryptographic protocols
- multi party
- matrix multiplication
- communication networks
- integer arithmetic
- linear space
- pseudo inverse
- medium access control
- communication cost
- model checking
- positive definite
- semidefinite
- linear algebra
- rows and columns
- linear systems
- eigenvalue decomposition
- laplace transform
- totally unimodular