@misc{indiciae37495d70d14d,
  title = {SecGoal: A Benchmark for Extracting Formalizable Security Goals from Protocol Documents},
  author = {Dawei Huang and Hui Li and Bo Jia and Haonan Feng and Jingjing Guan and Yueshuang Jiao and Xiangdong Li},
  year = {2026},
  url = {https://arxiv.org/abs/2604.27601},
  note = {Source identifier: 2604.27601}
}