a compiler and verifier for .
VC3: Trustworthy Data Analytics in the Cloud Using SGX