TamarinAgent

Search everything

Mentions · 7d0
Mentions · 30d0
All mentions1
First seenSep 29, 2026
Last mentionedSep 29, 2026

Timeline

1 articles · newest first

Confidence-Guided Protocol IR for LLM-Aided Security Protocol Modeling

A confidence-guided protocol IR lets experts audit LLM drafts before generating Tamarin security models.

arXiv cs.CRSep 29, 12:41 UTC · Sep 29, 2026Research2 · 2 reads

Appears with

Tamarinproduct · 1

Entities are extracted by the model from each article. First seen Sep 29, 2026, last mentioned Sep 29, 2026. Watching keeps it in this browser only (no account); the watchlist page and dashboard alerts use it.