@neodyme.io
We secure software with deep-dive audits, cutting-edge research, and in-depth trainings.
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.
@galoisinc.bsky.social
galois.com For nearly 25 years, Galois has combined mathematical rigor with curious creativity to cut through complexity and guarantee trustworthiness in the world’s most critical systems.
@xorhex.bsky.social
@tw0stra.ws
He/They • 🏳️🌈🏳️⚧️ pan 🐸 and 🐢 appreciator & 🍄 enthusiast 🧑💻 SRE/Security Engineering 👾 REing dead games ✊ anti-capitalist & anti-imperialist • pro-unionization Black Lives Matter, Trans Rights are Human Rights, I stand for a free Palestine 🇵🇸
@mpmilano.bsky.social
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
@stephenfewer.bsky.social
Principal Security Researcher at @rapid7.com. Decompiler dev for Relyze. Core Metasploit dev 2009 - 2013. MSRC Top 100 2015. Pwn2Own 2011, 2021, 2024. stephenfewer.github.io
@mrexodia.bsky.social
and 100+ other projects. Love binary analysis and Windows internals. Dreaming about doing open source full time...
@esetresearch.bsky.social
Security research and breaking news straight from ESET Research Labs. welivesecurity.com/research/
@pmeerw.bsky.social
@guillaumehiet.bsky.social
Professor at CentraleSupélec | Head of SUSHI Research Team (Inria/CentraleSupélec/CNRS/ENS Rennes) | IRISA Lab | Cybersecurity | Hardware/Software Security
@kr1m1nal.bsky.social
Old-school Security Researcher | ⚡Kernel Pwner⚡ | Research IPv6 Blog: http://kr1m1nal.net
@goretsky.bsky.social
@ESET Distinguished Researcher | alum of McAfee, Microsoft MVP, Tribal Voice, Zultys | Mod @Lenovo, @Neowin.Net, Scots Newsletter forums | Intel Insider Council | Repost ≠ endorse
@ianthehenry.bsky.social
i work at the intersection of set theory and figurative language http://ianthehenry.com | http://bauble.studio | http://janet.guide | http://toodle.studio
@amnestyuk.bsky.social
Fighting for human rights across UK & the world 🌍 follow for activism & news. Amnesty UK (Charitable Trust & Section). http://amnesty.org.uk/
@jalonso.bsky.social
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain
@cfbolz.bsky.social
PyPy/RPython contributor. Half time teaching at Uni Düsseldorf. Works on dynamic language implementations. Love street art and art in public spaces, hiking, reading. they/them
@cthulhu.network
@interruptlabs.bsky.social
We’re here to provide world-leading vulnerability research and research capabilities. From browsers, mobile, automotive and everything in between. www.interruptlabs.co.uk
@www.stephendiehl.com
Softwares, maths, physics and bears. https://www.stephendiehl.com/
@bloody-tangerine.bsky.social
Researcher at CNRS. Feminist. I work on microarchitectural security. https://cmaurice.fr
@ejschwar.bsky.social
Computer security researcher at CMU's Software Engineering Institute; {computer,car lease} hacker; rescue dog daddy; soccer player/referee; skier. https://edmcman.github.io/
@ergrelet.bsky.social
Fond of reverse engineering and software development. Doing security engineering at some company.
@binarly.bsky.social
⛓️Binarly is the world’s most advanced automated software supply chain security platform.
@notjfmc.bsky.social
I work on http://github.com/ciao-lang/ciao, a modern Prolog system. You can also find me on http://mastodon.social/@jfmc IMDEA Software Institute & UPM
@vzimmer77.bsky.social
Firmware in the Pacific Northwest. My views here do not reflect those of my employer, either present, past or future.
@yannickboog.bsky.social