Hongbo Chen, Haobin Hiroki Chen, Mingshen Sun, Kang Li, Zhaofeng Chen, Xiaofeng Wang 0001. A Verified Confidential Computing as a Service Framework for Privacy Preservation. In Joseph A. Calandrino, Carmela Troncoso, editors, 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023. pages 4733-4750, USENIX Association, 2023. [doi]
Abstract is missing.