RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol (Long version).

Pascal Lafourcade Gael Marcadet Léo Robert

Published in: IACR Cryptol. ePrint Arch. (2022)

Keyphrases

lightweight
sufficient conditions
real time
factor authentication
neural network
software systems
formal analysis
tcp ip
network protocols
messages exchanged
software engineering