Chen, H., Zhou, Q., Yang, S., Dang, S., Han, X., Zhang, D., . . . Wang, X. (2025). Artifact for Paper "Agora: Trust Less and Open More in Verification for Confidential Computing" in OOPSLA 2025. Zenodo.
Chicago Style (17th ed.) CitationChen, Hongbo, Quan Zhou, Sen Yang, Sixuan Dang, Xing Han, Danfeng Zhang, Fan Zhang, and XiaoFeng Wang. Artifact for Paper "Agora: Trust Less and Open More in Verification for Confidential Computing" in OOPSLA 2025. Zenodo, 2025.
MLA (9th ed.) CitationChen, Hongbo, et al. Artifact for Paper "Agora: Trust Less and Open More in Verification for Confidential Computing" in OOPSLA 2025. Zenodo, 2025.
Warning: These citations may not always be 100% accurate.