Hongbo Chen, Haobin Hiroki Chen, Mingshen Sun, Kang Li, Zhaofeng Chen, XiaoFeng Wang: A Verified Confidential Computing as a Service Framework for Privacy Preservation. USENIX Security Symposium 2023: 4733-4750