libsignal

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

Timeline

1 articles · newest first

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

SpecMonproduct · 1
WhatsApp Webproduct · 1
WhatsApporganization · 1
WhatsAppvendor · 1
Signalorganization · 1
Tamarinproduct · 1
Signal Desktopproduct · 1
Signalvendor · 1

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