[2205.03322] Private delegated computations using strong isolation