On Verification of Remote Computing on Potentially Untrusted Nodes.

Hiroki Masuda, Kentaro Kita, Yuki Koizumi, Toru Hasegawa

Browse the full ICNP paper archive.