Linked Presentation: A Verified Confidential Computing as a Service Framework for Privacy Preservation
