LLM-Assisted Automatic Security Proofs for Cryptographic Protocols: How Far Are We?
LLMs produce useful cryptographic-protocol lemmas but average only 38.82% proof-tree coverage.
1 stories, newest first · one card per story
LLMs produce useful cryptographic-protocol lemmas but average only 38.82% proof-tree coverage.
Today 1.6K readers · 2.5K views · 779 reads · all time 189K views