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…