Jingjing Guan

Identifiers

No identifiers captured yet.

Papers (1)

1. SecGoal: A Benchmark for Security Goal Extraction and Formalization from Protocol Documents cs.CR · 2026 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Bo Jia (Beijing University of Posts 1 shared papers
• Dawei Huang 1 shared papers
• Haonan Feng 1 shared papers
• Hui Li 1 shared papers
• Telecommunications) 1 shared papers
• Yueshuang Jiao 1 shared papers