These concerns suggest that a) private execution is a feature that is best provided by the operating system, where strong privacy guarantees can be provided to any application and analyzed for correctness; and,
b) standard cryptographic
techniques such as disk encryption do not satisfactorily solve the problem.