Efficient Proof Composition for Verifiable Computation.

Julien Keuffer Refik Molva Hervé Chabanne

Published in: ESORICS (1) (2018)

Keyphrases

efficient computation
machine learning
website
sufficient conditions
computationally expensive
case study
image sequences
data structure
search algorithm
expert systems
lightweight
computationally efficient