Gang Xu, George T. Amariucai, Yong Guan. Delegation of computation with verification outsourcing: curious verifiers. In Panagiota Fatourou, Gadi Taubenfeld, editors, ACM Symposium on Principles of Distributed Computing, PODC '13, Montreal, QC, Canada, July 22-24, 2013. pages 393-402, ACM, 2013. [doi]
Abstract is missing.