Verifiable Computing

VERITAS Project
Verifying FHE computations against covert clouds