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...

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?

PhD in Cryptography

Ad for funded position in Social Foundations of Cryptography

www.iacr.org/jobs/item/3877

www.findaphd.com/phds/project...

cryptographers.kcl.ac.uk

Social Foundations of Cryptography · An EPSRC funded research project grounding cryptographic notions in ethnographic findings.

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!