Trust a Few: The Weakest Assumptions a Protocol Needs
A verifier loop computes the weakest key, value, and channel assumptions a protocol needs to meet a goal.
Stories per day · 30 days
2 stories, newest first · one card per story
Stories tagged #protocol-verification
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.