SecGoal: A Benchmark for Extracting Formalizable Security Goals from Protocol Documents

Dawei Huang, Hui Li, Bo Jia +4

Formal verification provides rigorous guarantees for cryptographic security, yet extracting formalizable security goals from natural-language protocol documents remains largely man…