Minimising Communication in Honest-Majority MPC by Batchwise Multiplication Verification.
Peter Sebastian NordholtMeilof VeeningenPublished in: ACNS (2018)
Keyphrases
- multi party
- model checking
- closed loop
- communication protocol
- communication systems
- floating point
- dynamic model
- formal verification
- case study
- fingerprint verification
- communication cost
- formal methods
- asynchronous circuits
- genetic algorithm
- human computer
- instant messaging
- communication technologies
- communication networks
- computer networks
- information sharing