Sign in

On Verification of Remote Computing on Potentially Untrusted Nodes.

Hiroki MasudaKentaro KitaYuki KoizumiToru 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