Théophile Wallez
PhD student at Inria Paris (Prosecco team) working on secure group messaging & machine-checked security proofs.
@danwilshirejones.bsky.social
@protz.bsky.social
I talk about Rust, verification, cryptography, programming languages… and pets
@doreenriepel.bsky.social
Tenure-Track Faculty at CISPA • Cryptography & Provable Security
@bouletcorp.bsky.social
Artist, "Lourd est le Parpaing de la Réalité sur la Tartelette aux Fraises de nos Illusions"
@proofnerd.bsky.social
cryptography and pretty proofs | PL-curious | assistant professor @ VU Amsterdam soechsner.de
@lortex.bsky.social
What's going on? - programming: github.com/TheLortex - pictures: instagram.com/elpluvina - weblog: lortex.org Formerly known as twitter.com/TheLortex
@delemazuretheo.bsky.social
PhD student at Paris Dauphine in Computational Social Choice by day. Dev by night (@outofcontextan.bsky.social) theo.delemazure.fr
@charleslafrance.bsky.social
@kangz.net
Also @[email protected] Graphics plumber @Google . WebGPU, ANGLE, Vulkan and 3D stuff. He/him. Opinions expressed are my own.
@rwc.iacr.org
The official Real World Cryptography Bluesky feed. Follow us for news of upcoming events.
@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.
@scwpod.bsky.social
@durumcrustulum.com, @sockpuppet.org, @dadrian.io “Freewheelin’ dynamic”. https://securitycryptographywhatever.com https://podcasts.apple.com/us/podcast/feed/id1578405214
@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
@nadim.computer
Personal: https://nadim.computer Work: @symbolic.software Work: https://cure53.de
@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
@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
@xkcd.com
@durumcrustulum.com
🜗 🝒 🝲 crypto as in 'cryptography' 🝳 🝡 🜖 ¹ isogenist, co-host SCWpod ² https://durumcrustulum.com, https://www.youtube.com/@durumcrustulum, https://patreon.com/durumcrustulum
@raphaelrobert.bsky.social
Privacy. Security. Research. MLS co-author, working in secure messaging at @phoenixrd.bsky.social.
@swallez.com
Software engineer, from big servers to tiny microcontrollers. Member of The ASF, tech lead at Elastic. Opinions my own, obviously. Blogging (sometimes) at https://bluxte.net 🌐 Toulouse, France, Europe