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]
@inproceedings{ChenCSLC023, title = {A Verified Confidential Computing as a Service Framework for Privacy Preservation}, author = {Hongbo Chen and Haobin Hiroki Chen and Mingshen Sun and Kang Li and Zhaofeng Chen and Xiaofeng Wang 0001}, year = {2023}, url = {https://www.usenix.org/conference/usenixsecurity23/presentation/chen-hongbo}, researchr = {https://researchr.org/publication/ChenCSLC023}, cites = {0}, citedby = {0}, pages = {4733-4750}, booktitle = {32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023}, editor = {Joseph A. Calandrino and Carmela Troncoso}, publisher = {USENIX Association}, }