2026
Formal Security Analysis of the Olvid Messenger
The first formal security analysis of the cryptographic core of Olvid, an end-to-end encrypted messaging app notably used by French government officials, including ministers, shows that Olvid is not secure in modern security models such as eCK and reveals a potential timing leakage.
Noemi Terzo, C. Cremers, Ruben Gonzalez et al.
· IACR Cryptology ePrint Archi... · 0 citations