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

arXiv:2609.35434 · cs.CR, cs.SE · Submitted 2026-09-28 · Read on arXiv

cs.CR, cs.SE

Submitted: 2026-09-28

Updated: 2026-09-28

Terminology

Verification — 44× in this paper · explained in 2 episodes
Trace — 26× in this paper · explained in 2 episodes
Verifier — 9× in this paper · explained in 2 episodes
Formal Verification — 6× in this paper · explained in 2 episodes
Failure Modes — 5× in this paper · explained in 3 episodes
Benchmark — 4× in this paper · explained in 2 episodes
Coverage Rate of Solve Tree — 3× in this paper
International Conference on Software Engineering — 3× in this paper
Consistency — 2× in this paper · explained in 3 episodes
Core — 2× in this paper · explained in 2 episodes
Cryptographic Symbolic Protocol Verification — 2× in this paper
In-Context Learning — 2× in this paper · explained in 4 episodes
Abstraction — 1× in this paper · explained in 1 episode
Alignment — 1× in this paper · explained in 1 episode
Conference on Automated Software Engineering — 1× in this paper
Formal Methods — 1× in this paper · explained in 3 episodes
Large Language Models (LLMs) — 1× in this paper · explained in 6 episodes
Scaling Laws — 1× in this paper · explained in 4 episodes

Related papers