RESOURCE-EFFICIENT MANAGEMENT OF STATEFUL CONFIDENTIAL APPLICATIONS (2020)