Adrian Herrera
Security researcher with a penchant for programming language theory.
Building fuzzers @interruptlabs.bsky.social.
https://adrianherrera.github.io/
@andreyknvl.bsky.social
Security engineer at http://xairy.io. Focusing on the Linux kernel. Maintaining @linkersec.bsky.social. Trainings at http://xairy.io/trainings.
@sureworkshop.bsky.social
The Workshop on Software Understanding and Reverse Engineering (SURE). Co-located at ACM CCS 2025 in Taiwan. https://sure-workshop.org/
@numa.bsky.social
Machine learning leader with expertise in trust, safety, and security. She/her. numadhamani.com
@dominikwinterer.bsky.social
PostDoc@ETH Zurich | Making Formal Methods better and more practical
@rust-lang.org
A programming language empowering everyone to build reliable and efficient software.
@foundryzero.co.uk
We're a specialised supplier providing cyber security research, engineering services and training.
@mara.bsky.social
Rust dev, Electronics engineer, Author, Rust library team lead, ADHD, Polyamorous, Lesbian, She/Her
@ic3qu33n.bsky.social
reverse engineer | hacker | vx artist | malware witch | my artistic process is a daemon process. https://ic3qu33n.fyi
@pcwalton.bsky.social
Programming languages and graphics person. Rust compiler developer, Firefox hacker, Bevy contributor.
@jingbow.bsky.social
Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
@atredispartners.bsky.social
Atredis is a 100% worker-owned team of world-class security researchers and consultants. We do risk-centric, research-driven security testing and consulting. https://atredis.com
@jstnkndy.bsky.social
Infosec professional, beverage snob, and fantasy book consumer. Vice President @ Atredis Partners. Forever terrified of Kithicor.
@molly.wiki
independent writer of citationneeded.news and @web3isgoinggreat.com • tech researcher and cryptocurrency industry critic • software engineer • wikipedian support my work: citationneeded.news/signup links: mollywhite.net/linktree
@vwuestholz.bsky.social
Principal Researcher at Consensys Diligence, previously at ETH Zürich, UT Austin, Microsoft Research, and Google
@gabriel-sherman.bsky.social
Ph.D. Student at the University of Utah | Computer Security https://gabe-sherman.github.io/
@maxkersten.nl
Malware analyst and reverse engineer, author of the Binary Analysis Course. DMs are always open. Opinions are my own and not the views of my employer.
@mhlakhani.bsky.social
I try to learn everything. Views hopefully my own. Nerd (PL, Rust, security, AI, systems, …). Leftist. Covid conscious. AuDHD (probably). YIMBY. Free Palestine.
@microkerneldude.bsky.social
Physicist by training, computer engineer by passion Scientia (distinguished) Professor and John Lions Chair of Operating Systems at UNSW Sydney and Founding Chairman of the seL4 Foundation FACM FIEEE FTSE FRSN ML
@kurmus.bsky.social
@asbradbury.org
Compilers at Igalia. @llvmweekly.org author. Mostly RISC-V, LLVM, and a little WebAssembly. Previously lowRISC CTO and co-founder. Blogs at https://muxup.com
@carste1n.bsky.social
Security Engineer @ Cloudflare, ex-Google ISE, I use bad software and bad machines for the wrong things. My writing: https://carstein.github.io
@petereliaskraft.net
Co-founder @ http://dbos.dev • Stanford PhD • Database Geek • Building https://github.com/dbos-inc/dbos-transact-py
@mcy.gay
a whimsicott crawled into your compiler and got stuck call me miguel. yes! i am a furry! more arts: art.mcyoung.xyz writings: mcyoung.xyz comm info: mcyoung.xyz/comms 📍Seattle, WA
@dragostech.bsky.social
Autonomous Carbon Based LLM with 42 years of tuning on Information Attack and Defense. Host of CanSecWest, and PacSec. Security audits, code, IR, LLM, red team consulting. Specialize in Firmware, and RF. VA7MOV
@nspace.bsky.social
Computer security at Google. In my free time I play CTF with Organizers and polygl0ts. Dazed and confused, but trying to continue. Personal account. Fedi: @nspace@infosec.exchange Languages: it_IT, en_US, de_DE
@isychev.bsky.social
postdoc @TU Wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva) https://aisychev.github.io
@0ddc0de.bsky.social
PostDoc @HexhiveEPFL working on mobile security. CTF-Enthusiast @polygl0ts/@0rganizers. Former @shellphish and @fausecteam. Co-founder of @faustctf.
@malwarejake.bsky.social
Breaker of software, responder of incidents, IANS Faculty, VP R&D Hunter Strategy, Supreme Allied Commander of ANTIFA.
@gabydvj.bsky.social
policy reporter @ the verge ✨other work elsewhere ✨ writing a book about ecofascism
@lean-lang.org
Helping to break the trust bottleneck in modern research mathematics.
@2over124.bsky.social
Security engineer working on program analysis research things, currently compositional symbolic execution, type inference and some other stuff.
@pvldb.bsky.social
The Proceedings of the VLDB Endowment (PVLDB) https://vldb.org/pvldb/ RSS Feed: https://db.cs.cmu.edu/files/rss/pvldb-rss.xml Automated by @andypavlo.bsky.social
@lefticus.bsky.social
C++ Developer, Trainer, Speaker, YouTuber https://www.youtube.com/@cppweekly
@stefan-marr.de
Researcher, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.