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?
08.05.2025 21:59 β π 30 π 16 π¬ 1 π 1
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
10.01.2025 17:48 β π 0 π 0 π¬ 0 π 0
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!
10.01.2025 17:48 β π 10 π 8 π¬ 1 π 1
Mathematician/particle physicist turned privacy researcher. #Java #Oxford Building a better web - private, self-sovereign identity, p2p, social - with @peergos.org. Public social media undermines democracy. #covidisairborne #maskswork #cleantheair
Cryptography Professor at King's College London and Principal Research Scientist at SandboxAQ. ErdΕsβBacon Number: 6. He/him or they/them.
https://malb.io
PhD Student at ETH Zurich, Cryptography and more
Cryptography professor at the University of Waterloo
https://www.douglas.stebila.ca/
Official account for the IACR Crypto conference https://crypto.iacr.org
Prof. @KU_Leuven | Research in Network & Software Security | Known for WPA2 KRACK attack, Dragonblood, and FragAttacks | Open to consultancy | Ex-Postdoc NYU
We help bring cryptography & privacy knowledge to the hacker community.
The official Real World Cryptography Bluesky feed. Follow us for news of upcoming events.
Applied privacy engineer in the UK. Previously helping to lead end-to-end encryption for Messenger at Meta. he/him
Cryptography Researcher at Bergische University Wuppertal. Seeking wisdom, but hasnβt found it yet.
https://aumasson.jp
cofounder & CSO @ taurushq.com
cryptographer (BLAKE2, BLAKE3, SipHash)
author of Serious Cryptography https://nostarch.com/serious-cryptography-2nd-edition and other books
Signal: jpa.01
Fearless, adversarial journalism. Join our newsletter to get our best investigative reporting delivered to you: https://theintercept.com/newsletter/
Through August 11, new monthly or annual Sustaining Donors get an EFF35 Challenge Coin! With your help, EFF is here to stay. https://eff.org/35years
VP / Distinguished Engineer at Amazon Web Services. Also: Open Source and Apache, Cryptography, Irish Music, mediocre Photography.
UMD CS Prof. Security and applied cryptography.
Head of Research & Distinguished Scientist @ MongoDB | ex-Professor @ Brown University | Aroki co-founder (acquired by MongoDB) | ex-Microsoft Research. More at senykamara.com
