APA (7th ed.) Citation

Shang, J., Zhang, L., & Zheng, Z. (2025). Beyond Algorithmic Proofs: Towards Implementation-Level Provable Security.

Chicago Style (17th ed.) Citation

Shang, Jiahui, Luning Zhang, and Zhongxiang Zheng. Beyond Algorithmic Proofs: Towards Implementation-Level Provable Security. 2025.

MLA (9th ed.) Citation

Shang, Jiahui, et al. Beyond Algorithmic Proofs: Towards Implementation-Level Provable Security. 2025.