Blockchain-Based Result Verification for Computation Offloading.

Benjamin Körbel Marten Sigwart Philipp Frauenthaler Michael Sober Stefan Schulte

Published in: ICSOC (2021)

Keyphrases

formal proof
wide range
information retrieval
databases
e learning
special case
model checking
efficient computation