twin clouds : an architecture for secure cloud computing ( extended abstract ) .
Non-interactive verifiable computing: Outsourcing computation to untrusted workers