Author

Zhe Hou

h-index 6 View on Semantic Scholar

We have 3 of 21 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

#small language model Book Open access Aug 2026

Towards Fully Automated Medical Imaging Code Generation via Validation-Based Context Engineering

This work proposes AutoMedImg, a multi-agent framework for fully automated medical image processing code generation that achieves zero human intervention, with Dice scores of up to 0.90 for segmentation tasks and 99% accuracy for classification.

Zi-Xiao Zhao, Jing Sun, Zhe Hou et al. · Proceedings of the 41st IEEE... · 0 citations

Jul 2026

Beyond Detection: Agentic Attack Synthesis and Simulation for Smart Contracts

This work proposes KASS (Knowledge-Augmented Attack Synthesis and Simulation), a multi-agent framework for executable smart contract exploit verification and produces structured attack plans that document exploitation flows, quantify potential asset losses, and serve as semantic false positive filters for static analys...

Xianhao Zhang, Jing Sun, Zijian Zhang et al. · arXiv.org · 0 citations