Paul-Nicolas Madelaine @pnm.tf programmer · https://pnm.tf/
James Hoffmann @jameshoffmann.bsky.social I mostly make things to do with coffee.
Matthew Green @matthewdgreen.bsky.social I teach cryptography at Johns Hopkins. https://blog.cryptographyengineering.com
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
Denis Merigoux @denismerigoux.bsky.social Project leader, software infrastructure to support public policies @Inria. Programming languages, formal methods and the law. Co-creator of https://catala-lang.org.
Marc Ilunga @marcilu.bsky.social
Dan Jones @danwilshirejones.bsky.social
Jonathan Protzenko @protz.bsky.social I talk about Rust, verification, cryptography, programming languages… and pets
Richard Barnes @ipv.sx Trying to do right by the world, in part by using computers and cryptography.
(🦋 DMs disabled, please use Germ 🦠)
Doreen Riepel @doreenriepel.bsky.social Tenure-Track Faculty at CISPA • Cryptography & Provable Security
-Boulet- @bouletcorp.bsky.social Artist, "Lourd est le Parpaing de la Réalité sur la Tartelette aux Fraises de nos Illusions"
Peter Schwabe @cryptojedi.bsky.social Researcher in cryptographic engineering at MPI-SP.
Kien Tuong Truong @kientuong114.bsky.social PhD Student at ETH Zurich, Cryptography and more
Sabine Oechsner @proofnerd.bsky.social cryptography and pretty proofs | PL-curious | everything is MPC | assistant professor @ VU Amsterdam
soechsner.de
@cascremers.bsky.social @cascremers.bsky.social
Lucas Pluvinage @lortex.bsky.social What's going on?
- programming: github.com/TheLortex
- pictures: instagram.com/elpluvina
- weblog: lortex.org
Formerly known as twitter.com/TheLortex
Théo Delemazure @delemazuretheo.bsky.social Postdoc in social choice at University of Amsterdam (@outofcontextan.bsky.social) theo.delemazure.fr- O Paul-Nicolas Madelaine (old account) @old.pnm.tf moved to @pnm.tf
Charles Lafrance @charleslafrance.bsky.social
Corentin Wallez @kangz.net Also @DaKangz@mastodon.gamedev.place
Graphics plumber
@Google
. WebGPU, ANGLE, Vulkan and 3D stuff. He/him. Opinions expressed are my own.
Real World Crypto Symposium @rwc.iacr.org The official Real World Cryptography Bluesky feed. Follow us for news of upcoming events.
ePrint Updates @eprint.ing.bot 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.
Security Cryptography Whatever @scwpod.bsky.social @durumcrustulum.com, @sockpuppet.org, @dadrian.io
“Freewheelin’ dynamic”.
https://securitycryptographywhatever.com
https://podcasts.apple.com/us/podcast/feed/id1578405214
Kenny Paterson @kennyog.bsky.social Bit flipper
Altis ▷ @altisplay.fr 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
Phoenix R&D @phoenixrd.bsky.social We Build Secure Communication Solutions
Nadim Kobeissi @nadim.computer Applied cryptographer. Mainly working in the cryptography auditing industry, but sometimes venturing back into academia. https://nadim.computer
Martin R. Albrecht @malb.bsky.social 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
Cryspen @cryspen.com High Assurance Software
Franziskus @franziskuskiefer.de 🔐 High Assurance Dad @cryspen.com
Out Of Context Assemblée Nationale @outofcontextan.bsky.social 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
Randall Munroe @xkcd.com
Tantacrul @tantacrul.bsky.social Composer, designer and YouTuber.
Michele Orrù @tumbolia.bsky.social A curious child. https://michele.orru.net
depths of wikipedia @depthsofwikipedia.bsky.social hi i'm @annierau.bsky.social i love wikipedia! dm submissions if you want :-)
Deirdre Connolly¹ ² @durumcrustulum.com 🜗 🝒 🝲 crypto as in 'cryptography' 🝳 🝡 🜖
¹ isogenist, co-host SCWpod
² https://durumcrustulum.com, https://www.youtube.com/@durumcrustulum
Raphael Robert @raphaelrobert.bsky.social Founder and director of @phoenixrd.bsky.social. Working on @air.ms. #MessagingLayerSecurity co-author. 🦀. He/him.
Sylvain Wallez @swallez.com 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