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.
Stories per day · 30 days
1 RSS
3 stories, newest first · one card per story
Stories tagged #tamarin
Understanding the Usability of Cryptographic Verification Tools
Survey of Tamarin and ProVerif users reveals usability barriers: debugging non-termination, model validation, and opaque proof failures hinder cryptographic protocol verification.
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.