Login / Signup
Verified Implementations for Secure and Verifiable Computation.
José Bacelar Almeida
Manuel Barbosa
Gilles Barthe
Guillaume Davy
François Dupressoir
Benjamin Grégoire
Pierre-Yves Strub
Published in:
IACR Cryptol. ePrint Arch. (2014)
Keyphrases
</>
secret sharing
databases
neural network
database systems
sensor networks
lightweight
efficient implementation
encryption scheme
standard model