On Verification of Remote Computing on Potentially Untrusted Nodes.

Hiroki Masuda Kentaro Kita Yuki Koizumi Toru Hasegawa

Published in: ICNP (2019)

Keyphrases

real time
directed graph
third party
graph structure
weighted graph
databases
data structure
model checking
signature verification
verification method