1 citations · 3 across the 10 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.CR2026
Confidence-Guided Protocol IR for LLM-Aided Security Protocol Modeling
Siqi Li, Yufan Cai, Hongshu Wang +3
Large language models offer a promising interface for translating natural-language protocol descriptions into formal security models, but their outputs remain difficult to trust wi…
cs.CV2026
Towards Fully Automated Medical Imaging Code Generation via Validation-based Context Engineering
Zixiao Zhao, Jing Sun, Zhe Hou +5
Large language models (LLMs) have demonstrated considerable promise in program generation for small-scale and conventional application development; however, they remain limited whe…
cs.CR2026
Beyond Detection: Agentic Attack Synthesis and Simulation for Smart Contracts
Xianhao Zhang, Jing Sun, Zijian Zhang +4
Smart contract vulnerabilities pose severe financial risks, yet existing security tools largely stop at vulnerability detection, offering limited support for explaining whether rep…