Hiroki Masuda, Kentaro Kita, Yuki Koizumi, Toru Hasegawa. On Verification of Remote Computing on Potentially Untrusted Nodes. In 27th IEEE International Conference on Network Protocols, ICNP 2019, Chicago, IL, USA, October 8-10, 2019. pages 1-2, IEEE, 2019. [doi]