Skip to content

Formal Security Analysis of the Olvid Messenger

2026 · IACR Cryptology ePrint Archive · Vol 2026, pp. 1622 · 0 citations · 82 references
Computer Science

TL;DR

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.

View source

Similar papers

Open access Aug 2026

Migrating to Hybrid Cryptography in Practice: The TutaCrypt Protocol and Its Security

This work presents the hybrid key establishment protocol TutaCrypt in a form that enables rigorous cryptographic analysis and defines two Bellare–Rogaway-style security models that precisely characterize the provided security guarantees.

Christian Holler, Tibor Jager, Tom Neuschulten · 0 citations
Open access Aug 2026

A Formal Analysis of The Modified 5G EAP-TLS Protocol

The 5G EAP-TLS protocol is one of the three protocols standardised by 3GPP for use in 5G networks. Although this protocol inherently ensures security, authentication, and data integrity, recent studies have shown that it still faces several vulnerabilities, including Man-in-The-Middle attacks, user impersonation, and r...

Nga Thị Nguyệt Trần, Hung Quoc Nguyen, Giang Thu Bùi · 0 citations

SUST Journal of Science and Technology

A hybrid key exchange protocol combining DHKE with Learning With Errors (LWE), a lattice-based post-quantum primitive that provides authentication via a Public Key Infrastructure together with CRYSTALS-Dilithium digital signature, resilience against MITM attacks, and robustness against classical and quantum threats.

A. K. M. Fakhrul Hossain, Article Info · 0 citations
Review Sep 2026

A2ABreak: Systematic Security Analysis of the A2A Protocol

The Agent2Agent (A2A) protocol, now governed by the Linux Foundation, is an open standard that enables autonomous AI agents to discover, authenticate with, and delegate tasks to one another across organizational boundaries. Designed to complement the Model Context Protocol (MCP) for tool integration, A2A is rapidly eme...

Unknown authors · 0 citations
Open access Jul 2026

LISHARK: Lightweight Side Channel Protected Secure Hardware Extension with Re-keying

The Secure Hardware Extension (SHE) provides crucial functionalities such as error-detection, authorization, and authentication of messages exchanged between Electronic Control Units (ECUs) over the Controller Area Network (CAN) bus with the help of Advanced Encryption Standard (AES) cryptographic cores. However, the s...

Soumi Chatterjee, Siddhartha Chowdhury, Urbi Chatterjee et al. · 0 citations
Conference Open access 2026

PEACE: Privacy-Enhanced Authentication for Cryptocurrency Environments

PEACE is presented, an authentication mechanism for blockchains that combines the practicality of traditional Web systems with decentralization and privacy-preservation, building on a recent groundbreaking zkLogin protocol.

Stefan Dziembowski, Shahriar Ebrahimi, Paweł K. ̨edzior et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.