Delegation of computation with verification outsourcing: curious verifiers.

Gang Xu, George T. Amariucai, Yong Guan

Browse the full PODC paper archive.