TamarinAgent

Confidence-Guided Protocol IR Review UI This repository contains a local human-in-the-loop UI for LLM-aided security protocol modeling. It supports the workflow described in our work: Confidence-Guided Protocol IR for LLM-Aided Security Protocol Modeling The system introduces a protocol...

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...