Liu, T., Feng, S., Shang, J., Lyu, X., Wang, B., Zhang, Z., Xue, L., & Wang, W. (2026). LLM-Assisted Automatic Security Proofs for Cryptographic Protocols: How Far Are We? https://omanscience.com/en/articles/llm-assisted-automatic-security-proofs-for-cryptographic-protocols-how-far-are-we