A Verified Confidential Computing as a Service Framework for Privacy Preservation

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]

Authors

Hongbo Chen

This author has not been identified. Look up 'Hongbo Chen' in Google

Haobin Hiroki Chen

This author has not been identified. Look up 'Haobin Hiroki Chen' in Google

Mingshen Sun

This author has not been identified. Look up 'Mingshen Sun' in Google

Kang Li

This author has not been identified. Look up 'Kang Li' in Google

Zhaofeng Chen

This author has not been identified. Look up 'Zhaofeng Chen' in Google

Xiaofeng Wang 0001

This author has not been identified. Look up 'Xiaofeng Wang 0001' in Google