Haonan Feng

Identifiers

• name variant Haonan Feng 0.60 · backfill

Papers (1)

1. SecGoal: A Benchmark for Extracting Formalizable Security Goals from Protocol Documents cs.CR · 2026 · author #4

Mentions

• 2604.27601 #4 · arxiv_oai · confidence 0.70 Haonan Feng

Frequent Coauthors

• Bo Jia 1 shared papers
• Dawei Huang 1 shared papers
• Hui Li 1 shared papers
• Jingjing Guan 1 shared papers
• Xiangdong Li 1 shared papers
• Yueshuang Jiao 1 shared papers