Delegation of Computation with Verification Outsourcing: Curious Verifiers | IEEE Journals & Magazine | IEEE Xplore