Tamarin

Search everything

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

Timeline

2 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

From Specs to Apps: Verifying and Monitoring Models of Signal and WhatsApp

Researchers use the SpecMon runtime monitor to verify WhatsApp Web and Signal Desktop against formal Signal protocol models, finding undocumented libsignal fork differences.

arXiv cs.CRSep 10, 17:48 UTC · Sep 10, 2026Research1

Appears with

TamarinAgentproduct · 1
SpecMonproduct · 1
WhatsApp Webproduct · 1
WhatsApporganization · 1
WhatsAppvendor · 1
Signalorganization · 1
Signal Desktopproduct · 1
libsignalproduct · 1
Signalvendor · 1

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