Formal Security Analysis Reveals Weaknesses in Olvid Messenger Used by French Officials
jedisct1 · x · 2026-08-07
Researchers published the first formal security analysis of the cryptographic core of Olvid, an end-to-end encrypted messaging app used by French government officials.
Using the Tamarin Prover, the team formally verified core security guarantees like mutual authentication and forward secrecy. However, the analysis reveals that Olvid falls short of modern strong security models (like eCK) met by protocols such as Signal, and the researchers uncovered a potential timing leakage vulnerability.
More from Safety
- Speculation: What Happens If an AI Model Exfiltrates and Open-Sources Its Own Weights? — maxsloef · 2026-08-07
- Paul Christiano on the Future of AI Alignment Research — EthanJPerez · 2026-08-07
- Vector Institute's Cognitive Atrophy Bench: LLMs Become More Directive in Long Chats — VectorInst · 2026-08-07
- Apollo Research Launches Watcher, a Security Tool for Coding Agents — MariusHobbhahn · 2026-08-07
- Alan Turing Institute Expands AI Offensive Security Unit — turinginst · 2026-08-07
- Agent Plugin Spec: Standardizing Packaging While Leaving Trust Decisions to Clients — Particular_Luck80 · 2026-08-07