I mostly make things to do with coffee.
I teach cryptography at Johns Hopkins. https://blog.cryptographyengineering.com
Supporting the Formal Mathematics revolution
Project leader, software infrastructure to support public policies @Inria. Programming languages, formal methods and the law. Co-creator of https://catala-lang.org.
I talk about Rust, verification, cryptography, programming languages… and pets
Trying to do right by the world, in part by using computers and cryptography.
(🦋 DMs disabled, please use Germ 🦠)
I'm on Germ DM 🔑
anchr://ger.mx/A46ldT_5bbYOQUqi2yqmX0E0X7tBOtXWFw2S1tMcK0u_#did:plc:43l77wm7hyxizh4atc2gnrnt
Tenure-Track Faculty at CISPA • Cryptography & Provable Security
Artist, "Lourd est le Parpaing de la Réalité sur la Tartelette aux Fraises de nos Illusions"
Researcher in cryptographic engineering at MPI-SP.
PhD Student at ETH Zurich, Cryptography and more
cryptography and pretty proofs | PL-curious | everything is MPC | assistant professor @ VU Amsterdam
soechsner.de
What's going on?
- programming: github.com/TheLortex
- pictures: instagram.com/elpluvina
- weblog: lortex.org
Formerly known as twitter.com/TheLortex
Postdoc in social choice at University of Amsterdam (@outofcontextan.bsky.social) theo.delemazure.fr
Also @DaKangz@mastodon.gamedev.place
Graphics plumber
@Google
. WebGPU, ANGLE, Vulkan and 3D stuff. He/him. Opinions expressed are my own.
The official Real World Cryptography Bluesky feed. Follow us for news of upcoming events.
Unofficial bot tracking the IACR Cryptology ePrint Archive (eprint.iacr.org). Maintained by @str4d.xyz.
Currently only posts about new papers. Author names are linkified to Bluesky accounts (cryptography.social); contact maintainer for inclusion/removal.
@durumcrustulum.com, @sockpuppet.org, @dadrian.io
“Freewheelin’ dynamic”.
https://securitycryptographywhatever.com
https://podcasts.apple.com/us/podcast/feed/id1578405214
Créateur de contenu pour le média Altis Play
(Je vulgarise la mobilité dans l'environnement urbain & le vélo)
Mes réseaux : http://bento.me/altis
We Build Secure Communication Solutions
Applied cryptographer. Mainly working in the cryptography auditing industry, but sometimes venturing back into academia. Hobbyist puzzle game author. https://nadim.computer
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
🔐 High Assurance Dad @cryspen.com
Ce compte publie des vraies répliques des députés (trouvées dans les comptes rendus) sorties de leur contexte #DirectAN. Géré par
@delemazuretheo.bsky.social
Composer, designer and YouTuber.
A curious child. https://michele.orru.net
hi i'm @annierau.bsky.social i love wikipedia! dm submissions if you want :-)
🜗 🝒 🝲 crypto as in 'cryptography' 🝳 🝡 🜖
¹ isogenist, co-host SCWpod
² https://durumcrustulum.com, https://www.youtube.com/@durumcrustulum
Privacy. Security. Research.
MLS co-author, working in secure messaging at @phoenixrd.bsky.social.
Software engineer, from big servers to tiny microcontrollers. Principal engineer at @elastic.co, member of @apache.org. Blogging (sometimes) at https://bluxte.net
🌐 Toulouse, France, Europe