Publications

• Liu, W., Wang, W., Chen, H., Wang, X., Lu, Y., Chen, K., Wang, X., Shen, Q., Chen, Y. and Tang, H., 2021, June. Practical and efficient in-enclave verification of privacy compliance. In 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (pp. 413-425). IEEE.
• Chen, H., Chen, H.H., Sun, M., Li, K., Chen, Z. and Wang, X., 2023. A Verified Confidential Computing as a Service Framework for Privacy Preservation. In 32nd USENIX Security Symposium (USENIX Security 23) (pp. 4733-4750).
• Reed, A.C. and Reiter, M.K., 2023, July. Optimally Hiding Object Sizes with Constrained Padding. In 2023 IEEE 36th Computer Security Foundations Symposium (CSF) (pp. 505-520). IEEE.
• Wang, Z., Guan, J., Wang, X., Wang, W., Xing, L., and Alharbi, F., 2023. The Danger of Minimum Exposures: Understanding Cross-App Information Leaks on iOS through Multi-Side-Channel Learning. In Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security (CCS 2023) (pp. 281-295).
• Zhao, S., Xu, P., Chen, G., Zhang, M., Zhang, Y. and Lin Z., 2023. Reusable Enclaves for Confidential Serverless Computing. In 32nd USENIX Security Symposium (USENIX Security 23) (pp. 4015-4032).
• CrudiTEE: A Stick-and-Carrot Approach to Building Trustworthy Signing Key Management with TEEs. Lulu Zhou (Yale), Zeyu Liu (Yale), Fan Zhang (Yale), Michael Reiter (Duke). Under submission.
• Zhao, S., Wang, W., Li, N., Lin, Z., 2024. STYX: Collaborative and Private Data Processing Using TEE-Enforced Sticky Policy. In submission to ACM CCS 2024.
• Ctchecker: a Precise, Sound and Efficient Static Analysis for Constant-Time Programming. Zhou Quan, Sixuan Dang and Danfeng Zhang. Proc. of the European Conference on Object-Oriented Programming, 2024. Accepted.
• Chen, H., Zhou, Q., Yang, S., Han, X., Zhang, D., Zhang, F. and Wang, X., 2024.Agora: Open More and Trust Less in Binary Verification Service. In submission to ACM CCS 2024.

Open Source

Deflection

PoBF

Reusable-Enclaves