The picture shows a smartphone and the imprint of a newspaper. The smartphone displays a screen from the SecureMessaging feature showing a key digest. The newspaper imprint shows the same digest. The digest consists of a number of randomly-looking letters and digits.
One of my favourite CoverDrop details: out-of-band verification of the trusted organization key which signs the entire key hierarchy. Its digest is included in the imprint of every printed Guardian newspaper, removing the need to trust CAs πποΈ more details: www.coverdrop.org
29.07.2025 10:45 β π 59 π 29 π¬ 1 π 4
Attestable Audits: Verifiable AI Safety Benchmarks Using Trusted Execution Environments
Audits of AI/ML systems while protecting model IP and keeping the audit data confidential π€«
@inxoy.bsky.social is at the ICML TAIG workshop today, presenting our work on Attestable Audits: arxiv.org/html/2506.23... with Bill Marino and @arberesford.bsky.social
19.07.2025 13:57 β π 3 π 3 π¬ 0 π 0
Super excited that Jenny is presenting our new paper on "Web Authentication and Recovery in the Age of E2EE" at PETS today! ππ
Tons of interesting insights for a world in which we are moving away from passwords, and E2EE data becomes more long-term and critical. petsymposium.org/popets/2025/...
17.07.2025 11:37 β π 4 π 1 π¬ 1 π 0
β©οΈ Back-link to the launch post: bsky.app/profile/lamb...
27.06.2025 14:01 β π 0 π 0 π¬ 0 π 0
There are a lot of insights in both the original PETS paper (petsymposium.org/2022/files/p...) and Diana's PhD thesis (www.repository.cam.ac.uk/items/ec87dd...).
27.06.2025 13:58 β π 1 π 0 π¬ 1 π 0
CoverDrop involved users from the very beginningβavoiding the βsolution looking for problemβ trap. Big shout out to @mansoor.bsky.social , Diana, and @arberesford.bsky.social for getting this right from the very beginning by running two very insightful workshops with journalists and engineers.
27.06.2025 13:58 β π 4 π 0 π¬ 1 π 0
CoverDrop: Blowing the Whistle Through A News App
And if you like to learn more about the CoverDrop research behind SecureMessaging: www.coverdrop.org
20.06.2025 09:50 β π 0 π 0 π¬ 0 π 0
This announcement really should have our lead Rustaceans @itsibitzi.dev and @zekehg.bsky.social on top π¦! CoverDrop's implementation journey has been demonstrating the immense strengths that lie in Rust's type system and the mature tool chain. Looking forward to all the talk in September!
20.06.2025 09:50 β π 2 π 0 π¬ 1 π 0
The Guardianβs new whistleblower tool buries leaks to journalists within its own readersβ everyday traffic
Think "I am Spartacus!" βΒ but for leakers.
The Guardian appβs own data flows make leaks indistinguishable from regular traffic β cutting off one of the easiest ways for a repressive government or a corporate boss to identify a leaker. www.niemanlab.org/2025/06/the-...
09.06.2025 21:58 β π 45 π 23 π¬ 1 π 0
Thank you so much @martin.kleppmann.com for all your help, guidance, and feedback during this project! Especially with the tricky bits around key rotation and concurrency. And glad that we were able to distill some insights from the production world already into our P79 course.
09.06.2025 13:05 β π 13 π 0 π¬ 0 π 0
Thereβs a lot more to say, and Iβll highlight some aspects that Iβm particularly excited about over the next few weeks.
09.06.2025 13:02 β π 3 π 0 π¬ 0 π 0
Our CoverDrop white paper has a lot more technical details and we are immensely grateful to everyone who have provided us with valuable feedback throughout this project: www.cl.cam.ac.uk/techreports/...
09.06.2025 13:02 β π 3 π 0 π¬ 2 π 0
CoverDrop: Blowing the Whistle Through A News App
We launched CoverDrop π providing sources with a secure and anonymous way to talk to journalists. Having started five years ago as a PhD research project, this now ships within the Guardian app to millions of usersβall of which provide cover traffic. Paper, code, and more info: www.coverdrop.org
09.06.2025 13:00 β π 59 π 22 π¬ 1 π 1
GitHub repo here: github.com/lambdapionee...
28.04.2025 16:14 β π 1 π 0 π¬ 0 π 0
PETS paper here: petsymposium.org/popets/2024/...
28.04.2025 16:14 β π 0 π 0 π¬ 1 π 0
Panorama of Linz
Greatly enjoyed talking at JKU Linz about our Sloth π¦₯ library which uses Secure Enclaves (SEs) for key stretching and deniable encryption. Importantly, it works around Android/iOS API limitations and, therefore, Sloth is available to regular apps on most smartphones without modifications.
28.04.2025 16:13 β π 0 π 0 π¬ 1 π 0
The final slides are online now: bsky.app/profile/lamb...
07.04.2025 15:17 β π 3 π 1 π¬ 2 π 0
Department of Computer Science and Technology β Course pages 2024β25: Cryptography and Protocol Engineering β Course materials
It's done! The final lecture slides and notes for "P79 Cryptography and Protocol Engineering" are now online: www.cl.cam.ac.uk/teaching/242... π. This is the first time that @martin.kleppmann.com and I have done this courseβwe very much welcome feedback, corrections, and suggestions for next time
07.04.2025 15:15 β π 28 π 5 π¬ 2 π 1
The slides are updated as-we-go on the course website: www.cl.cam.ac.uk/teaching/242... Currently, the highlight are the great X25519/Ed25519 slides by Martin. Content should be complete by begin of March :)
17.02.2025 09:53 β π 1 π 0 π¬ 0 π 0
The lectures are not recorded, but we will upload the slides and lecture notes online. There will be another post when the full set becomes available.
29.01.2025 16:03 β π 4 π 0 π¬ 1 π 0
We believe that simply preaching "Don't roll your own crypto" does not cut it anymoreβthe next generation of engineers and researchers needs to be able to critically evaluate available implementations and competently navigate risks and trade-offs.
29.01.2025 13:24 β π 6 π 0 π¬ 0 π 0
I am quite excited that our brand-new module "P79: Cryptography and Protocol Engineering" has its first lecture today! @martin.kleppmann.com and I designed the course to bridge the gap between mathematical ideas and the challenge of implementing secure cryptography in the real world. @cst.cam.ac.uk
29.01.2025 13:24 β π 62 π 8 π¬ 4 π 0
Call for Papers
The 12th Workshop on Principles and Practice of Consistency for Distributed Data
The PaPoC workshop is once again accepting submissions on distributed consistency. Deadline 15 January papoc-workshop.github.io/2025/cfp.html
06.12.2024 10:37 β π 40 π 8 π¬ 0 π 4
And a proper domain handle π₯³
28.11.2024 11:28 β π 0 π 0 π¬ 0 π 0
My CS department @cst.cam.ac.uk is now on Bluesky, with a properly validated domain handle. Please give them a warm welcome!
28.11.2024 10:59 β π 119 π 10 π¬ 3 π 0
Editor of Weekend FT β’ sinkhole tracker β’ Do not buy crypto from me or anyone who appears to be me
Professor of Emergent Harms, Department of Computer Science & Technology, University of Cambridge
Director, Cambridge Cybercrime Centre
Fellow and Director of Studies, King's College
she/her
Cryptographer who likes to implement multi-party computation and works for CSIRO's Data61. Views my own. π³οΈβππ¨ππ¦πΊ (he/him)
Chief Communications Officer at Guardian Media Group
privacy prof at KIT and CeTI/TU Dresden
Applied cryptographer, security auditor. Passionate about cryptographic protocols, formal verification, and applied cryptography pedagogy/accessibility.
Homepage: https://nadim.computer
RC F'13, F2'17
Cryptogopher / Go cryptography maintainer
Professional open source maintainer
https://filippo.io / https://github.com/FiloSottile
https://mkcert.dev / https://age-encryption.org
https://sunlight.dev / https://filippo.io/newsletter
Investigations Reporter, The Guardian | Tips: henry.dyer@theguardian.com/henrydyer.01 (Signal) | Interested in Politics/Media/π/CofE
https://www.theguardian.com/profile/henry-dyer
http://direthoughts.com
visiting cosic, ku leuven
cs at johns hopkins β25
https://alexiscao.github.io
Software developer on @theguardian.com's Investigations & Reporting team
I teach cryptography at Johns Hopkins. https://blog.cryptographyengineering.com
First Workshop on Technical AI Governance. ICML 2025, Vancouver.
Collaborative software at Common Curriculum / CMU
I write about CRDTs etc: https://mattweidner.com/
You're not hardcore unless you live hardcore. Serving the next generation of creative technologists at tonk.xyz
harrykingdon.com