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