Benjamin Dowling
@bedow.bsky.social
Senior Lecturer of Cryptography at King's College London.
Professional Protocol Admirer.
Views are my own.
He/Him.
Professional Protocol Admirer.
Views are my own.
He/Him.
Reposted by Benjamin Dowling
How does WhatsApp implement encrypted group chats? And are they secure? @malb.bsky.social, @bedow.bsky.social and myself were keen to figure this out. After two years of reverse-engineering, analysis and a few too many proofs, I presented our work at Eurocrypt earlier today. So, what did we learn?
Formal Analysis of Multi-Device Group Messaging in WhatsApp
WhatsApp provides end-to-end encrypted messaging to over two billion users. However, due to a lack of public documentation and source code, the specific security guarantees it provides are unclear. Se...
ia.cr
May 8, 2025 at 9:59 PM
How does WhatsApp implement encrypted group chats? And are they secure? @malb.bsky.social, @bedow.bsky.social and myself were keen to figure this out. After two years of reverse-engineering, analysis and a few too many proofs, I presented our work at Eurocrypt earlier today. So, what did we learn?
Excited to announce a funded PhD position analysing the Social Foundations of Cryptography here at King's College London with me and @malb.bsky.social . Applications open now, feel free to reach out for a chat.
social-foundations-of-cryptography.gitlab.io
Link in next post!
social-foundations-of-cryptography.gitlab.io
Link in next post!
Social Foundations of Cryptography · An EPSRC funded research project grounding cryptographic notions in ethnographic findings.
social-foundations-of-cryptography.gitlab.io
January 10, 2025 at 5:48 PM
Excited to announce a funded PhD position analysing the Social Foundations of Cryptography here at King's College London with me and @malb.bsky.social . Applications open now, feel free to reach out for a chat.
social-foundations-of-cryptography.gitlab.io
Link in next post!
social-foundations-of-cryptography.gitlab.io
Link in next post!