Author

Xin-Yue Zuo

h-index 5 View on Semantic Scholar

We have 2 of 9 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Sep 2026

Confidence-Guided Protocol IR for LLM-Aided Security Protocol Modeling

Large language models offer a promising interface for translating natural-language protocol descriptions into formal security models, but their outputs remain difficult to trust without expert validation. In this paper, we present a human-in-the-loop framework for generating Tamarin-verifiable formal models of security...

Si-Qi Li, Yu-Fan Cai, Hong-Shu Wang et al. · 0 citations

Preprint Sep 2026

Formal Model Construction Guided by Model-Based Proof Sketches

Proof-Sketch-Guided Formal Model Synthesis (ProGS), an autoformalization method centered on model-based proof sketches, which improves over state-of-the-art agentic formal modeling approaches in syntactic validity, deductive verifiability, and behavioral correctness.

Hong-Shu Wang, Xin-Yue Zuo, Yu-Fan Cai et al. · 0 citations