LLM-Assisted Automatic Security Proofs for Cryptographic Protocols: How Far Are We?

Tianjian Liu, Shicheng Feng, Jin'ao Shang +5

Large language models (LLMs) have shown strong potential for assisting software and security analysis tasks, yet their effectiveness in cryptographic symbolic protocol verification…