Jingjing Guan
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Crypto×1
Frequent co-authors
Research Timeline
2026
SecGoal: A Benchmark for Extracting Formalizable Security Goals from Protocol Documents
The paper introduces SecGoal, a benchmark dataset and framework, demonstrating that fine-tuning smaller LLMs on this dataset significantly improves the precision of extracting formalizable security goals from natural language protocol documents.
Highlighted terms show continued research focus across papers
Papers
cs.CRRecentApr 30, 2026
SecGoal: A Benchmark for Extracting Formalizable Security Goals from Protocol Documents
Dawei Huang, Hui Li, Bo Jia, Haonan Feng +3 more
The paper introduces SecGoal, a benchmark dataset and framework, demonstrating that fine-tuning smaller LLMs on this dataset significantly improves the precision of extracting formalizable security go…
View →