Three Lessons From Threema: Analysis of a Secure Messenger
Kenneth G. Paterson, Matteo Scarlata, Kien Tuong Truong
2023年份
12顶会引用
摘要
We provide an extensive cryptographic analysis of Threema, a Swiss-based encrypted messaging application with more than 10 million users and 7000 corporate customers. We present seven different attacks against the protocol in three different threat models. We discuss impact and remediations for our attacks, which have all been responsibly disclosed to Threema and patched. Finally, we draw wider lessons for developers of secure protocols.
问问这篇 Paper
智能体会读完全文。
Lune 把这篇 Paper 索引到了每一个公式,引用它的顶会 Paper 也一样。你提问,回答直接引用原文。
引用它的顶会 Paper12
- Keyboard Fighters: The Use of ICTs by Activists in Times of Military Coup in MyanmarLaura Gianna GuntrumCHI 2024 · 被引用 13 次
- Injection Attacks Against End-to-End Encrypted ApplicationsAndrés Fábrega, Carolina Ortega Pérez, Armin Namavari, Ben Nassi 等S&P 2024 · 被引用 9 次
- End-to-End Encrypted Cloud Storage in the Wild: A Broken EcosystemJonas Hofmann, Kien Tuong TruongCCS 2024 · 被引用 5 次
- MFKDF: Multiple Factors Knocked Down FlatMatteo Scarlata, Matilda Backendal, Miro HallerUSENIX Security 2024 · 被引用 3 次
- Formal Security and Functional Verification of Cryptographic Protocol Implementations in RustKarthikeyan Bhargavan, Lasse Letager Hansen, Franziskus Kiefer, Jonas Schneider-Bensch 等CCS 2025 · 被引用 1 次
它引用的顶会 Paper8
- WireGuard: Next Generation Kernel Network TunnelJason A. DonenfeldNDSS 2017 · 被引用 259 次
- DROWN: Breaking TLS Using SSLv2Nimrod Aviram, Sebastian Schinzel, Juraj Somorovsky, Nadia Heninger 等USENIX Security 2016 · 被引用 192 次
- Four Attacks and a Proof for TelegramMartin R. Albrecht, Lenka Mareková, Kenneth G. Paterson, Igors StepanovsS&P 2022 · 被引用 40 次
- Clone Detection in Secure Messaging: Improving Post-Compromise Security in PracticeCas Cremers, Jaiden Fairoze, Benjamin Kiesl, Aurora NaskaCCS 2020 · 被引用 17 次
- How to Abuse and Fix Authenticated Encryption Without Key CommitmentAnge Albertini, Thai Duong, Shay Gueron, Stefan Kölbl 等USENIX Security 2022
相关 Paper
- Message Injection Attacks Against SignalKien Tuong Truong, Noemi Terzo, Kenneth G. PatersonUSENIX Security 2026
- Automated Formal Analysis of Signal's Double Ratchet: Attacks, Fixes and Security ProofsVincent Cheval, Charlie Jacomme, Jessica RichardsS&P 2026 · 被引用 3 次
- Formal Analysis of Multi-device Group Messaging in WhatsAppMartin R. Albrecht, Benjamin Dowling, Daniel JonesEUROCRYPT 2025 · 被引用 3 次
- Dancing on the Lip of the Volcano: Chosen Ciphertext Attacks on Apple iMessageChristina Garman, Matthew Green, Gabriel Kaptchuk, Ian Miers 等USENIX Security 2016 · 被引用 62 次
- Analysis of the Telegram Key ExchangeMartin R. Albrecht, Lenka Mareková, Kenneth G. Paterson, Eyal Ronen 等EUROCRYPT 2025 · 被引用 4 次
