Wrenna Robson
Sometime cryptographer, sometime verification nerd. I like to stare at theorem provers until my brain tingles. Lean user. EasyCrypt-curious.
@0xdaeda1a.bsky.social
Distinguished Risk Pokemon will be my final form. Cthulhu cultist, lawful good. Yay Seattle! Opinions belong to my autocorrect, not my employer. /her Also 0xdaeda1a@infosec.exchange
@natanael.bsky.social
A nerd who likes cryptography. A bit weird, a bit witty, a bit whimsical Fediverse: @Natanael_L@mastodon.social DM open. For E2EE IM: @Natanael_L:matrix.org ccTLD: SE Mod @ https://reddit.com/r/crypto for cryptography
@filippo.abyssdomain.expert
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
@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.
@str4d.xyz
Cryptography, privacy, zero knowledge, Rust, Zcash dev, gaming, hardware hackery, art appreciation. He/him. https://str4d.xyz https://abyssdomain.expert/@str4d age18f63qx4gk8x7p4lfuwwglqcan7snvp406q5vmk26g9fmpe9c799qqzzr3w