Verifiable Computation over Encrypted Data in the Presence of Verification Queries