Login / Signup
Minimising Communication in Honest-Majority MPC by Batchwise Multiplication Verification.
Peter Sebastian Nordholt
Meilof Veeningen
Published in:
IACR Cryptol. ePrint Arch. (2018)
Keyphrases
</>
model checking
closed loop
communication networks
floating point
multi party
resource constrained
neural network
dynamic model
sensor networks
communication cost
communication overhead
human computer
real time
communication technologies
functional verification