Preprint Open access
LLM-Assisted Automatic Security Proofs for Cryptographic Protocols: How Far Are We?
Large language models (LLMs) have shown strong potential for assisting software and security analysis tasks, yet their effectiveness in cryptographic symbolic protocol verification remains insufficiently understood. In this paper, we conduct the first systematic evaluation of the capability of state-of-the-art LLMs in …