SecGoal: A Benchmark for Security Goal Extraction and Formalization from Protocol Documents

By Da-Wei Huang, Hui Li, Haonan Feng, Jing-Jing Guan, Yueshuang Jiao, B. Jia. 2026