Barack Obama @barackobama.bsky.social Dad, husband, President, citizen. barackobamabooks.com
Nick Sullivan @nicksullivan.org Asymmetries in action
Usenix WOOT Conference on Offensive Technologies @wootsecurity.bsky.social WOOT aims to present a broad picture of offense and its contributions, bringing together researchers and practitioners in all areas of computer security.
Co-located with USENIX Security Symposium'26 in Baltimore,MD on
August 10–11, 2026
Deutscher Bundestag @bundestag.de Der Bundestag verhandelt öffentlich. (Art. 42 GG)
📝Sie haben Fragen oder möchten uns etwas mitteilen? 👉 socialmedia@bundestag.de
Impressum: https://www.bundestag.de/impressum
Netiquette: https://www.bundestag.de/services/netiquette_som/netiquette-710192
Stadt München @stadt.muenchen.de Offizieller Account der Landeshauptstadt München. Hier postet das städtische Presse- und Informationsamt. 🖤💛
✉️ Kontakt zur Stadtverwaltung: https://stadt.muenchen.de/rathaus/kontakt.html
CISPA Helmholtz Center for Information Security @cispa.de Shape the future world.🚀
🔒Cybersecurity I 🫱🏻🫲🏼Privacy I 🤖Trustworthy AI
Privacy Policy and Legal Notice: https://cispa.de/en/linkinbio
Phrack Zine @phrack.org since 1985
https://phrack.org
Damian Boeselager @dboeselager.volteuropa.org MEP & Co-founder of @volteuropa 💜
Future of Europe & EU Reform 🇪🇺
Migration & Asylum 🌍
AI & Data strategy🤖
UCL @ucl.ac.uk Welcome to our official page. Sharing the latest news, research and highlights of life at UCL (University College London).
London's Global University - ucl.ac.uk
Thomas Zimmer @thomaszimmer.bsky.social Historian - Democracy and Its Discontents - Newsletter: Democracy Americana https://democracyamericana.com (also available in German: https://steady.page/de/demokratie-americana/posts) - Website: https://www.thomaszimmer.online/
Filippo Valsorda @filippo.abyssdomain.expert @geomys.org founder / RC F'13, F2'17
Cryptogopher / Go cryptography maintainer
https://filippo.io / https://github.com/FiloSottile
https://mkcert.dev / https://age-encryption.org
https://sunlight.dev / https://filippo.io/newsletter
@mydogeatsbeats.bsky.social @mydogeatsbeats.bsky.social
Alexander Wuttke @kunkakom.bsky.social Digitalization & Pol Behavior LMU Munich | Registered Reports @ JOP | Democracy and Populist Attitudes | Open Science | 🚵♂️🐶
Thomas Wiegold @wiegold.de Journalist in Berlin. augengeradeaus.net & podcast sicherheitspod.de
Carlo "Realism, Gedankenfetzen und Rants" Masala @carlomasala1.bsky.social IR Scholar. Universität der Bundeswehr München. Private account
Nicolas Papernot @nicolaspapernot.bsky.social Security and Privacy of Machine Learning at UofT, Vector Institute, and Google 🇨🇦🇫🇷🇪🇺 Co-Director of Canadian AI Safety Institute (CAISI) Research Program at CIFAR. Opinions mine
Thomas Eisenbarth @tom-crypt.bsky.social 🔒 Professor of IT Security @ University of Luebeck
💡 Research in systems security, applied cryptography, and side channels
🌐 More info: its.uni-luebeck.de
@albrechtschmidt.bsky.social @albrechtschmidt.bsky.social
Munich Center for Machine Learning @munichcenterml.bsky.social The MCML is a joint research initiative of LMU München and TU München. It is institutionally funded by the Federal Ministry of Education and Research and the Free State of Bavaria.
Michael Kofman @michaelkofman.bsky.social Senior Fellow, Carnegie Endowment. Defense analysis with a focus on the Russian and Ukrainian militaries.
@ccadar.bsky.social @ccadar.bsky.social
Matteo Maffei @matteomaffei.bsky.social Professor at TU Wien, coordinator TU Wien Cybersecurity Center, SecInt Doctoral School, SpyCoDe SFB. ERC grant holder.
Lorenzo Cavallaro @lcavallaro.bsky.social Pizza, Phrack, and Trustworthy AI for Systems Security at UCL Computer Science
Marcus Paradies @marcusparadies.bsky.social Prof. for database systems @LMU. Interested in database systems and modern storage technologies.
@afd-icl.bsky.social @afd-icl.bsky.social Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
AI + FM papers @ai-fm-papers.bsky.social A feed of interesting AI / math / formal methods papers. Posts by @m-dodds.bsky.social
Anders Møller @andersmoeller.bsky.social Professor at Aarhus University
https://cs.au.dk/~amoeller
Marco Serafini @marcoserafini.bsky.social Assistant professor at UMass Amherst CS department
Dr. Claire Le Goues @clegoues.bsky.social Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
Veelasha Moonsamy @veelasha.bsky.social Professor | HGI | Excellence Cluster CASA | Ruhr University Bochum 🇩🇪
Guest Researcher | Radboud University 🇳🇱
IoT/mobile security & privacy researcher- A @adamdoupe.bsky.social @adamdoupe.bsky.social
aurelsec @aurelsec.bsky.social Hackademic at S3@eurecom
Ilya Sergey @ilyasergey.bsky.social Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
@floriantramer.bsky.social @floriantramer.bsky.social Assistant professor of computer science at ETH Zürich. Interested in Security, Privacy and Machine Learning.
https://floriantramer.com
https://spylab.ai
Boris Köpf @socialboris.bsky.social Researcher at Microsoft Azure
boriskoepf.de
Ulrike Franke @rikefranke.bsky.social Senior Fellow at European Council on Foreign Relations. #Drone politics PhD @ox.ac.uk. Teaches at @SciencesPo.bsky.social. Writes about all things #Germany #Defence #miltech. Podcast host at @SicherheitsPod.de & LeCollimateur
Kenny Paterson @kennyog.bsky.social Bit flipper
billions of packets @justinesherry.bsky.social I'm a member of the imperial senate on a diplomatic mision to Alderaan.
Computer networking professor. 🇺🇲❤️🇵🇹, she/her, Dr. Sherry, Mamã, working at AS8!
www.justinesherry.com
Ben Hermann @benhermann.eu Professor for Secure Software Engineering at Universität Stuttgart
🏳️🌈💻🎓
https://benhermann.eu
https://sse.cs.tu-dortmund.de
Randall Munroe @xkcd.com
Achim D. Brucker @adbrucker.bsky.social Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. Formal Methods, Security, Safety, Theorem Proving, Formal Semantics, http://logicalhacking.com / @adbrucker@fediscience.org
Somesh Jha @someshjha.bsky.social I am a professor in the computer sciences at UW-Madison. My technical interests in trustworthy ML, formal methods, and security.
My other interests are Indian classical music, mindfulness, tennis, and pickleball.
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Toby Murray @tobycmurray.bsky.social Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Heather Miller @heathermiller.bsky.social Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
Eva Darulova @malyzajko.bsky.social Assoc. prof. at Uppsala University, working in programming languages and verification
Swarat Chaudhuri @swarat.bsky.social Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat
Manu Sridharan @manu.sridharan.net CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Santosh Nagarakatte @santosh-nagarak.bsky.social Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
A. H. Zakai @kripken.com Software engineer (compilers: WebAssembly, Emscripten, Binaryen). Used to study neural networks. Loves fantasy novels and Agatha Christie. he/they
All opinions here are my own, not my employer's (Google).
More in: http://kripken.github.io/blog/about/
Thomas Steinke @stein.ke Researcher in computer science, math, machine learning, (differential) privacy, AI, etc. at Anthropic.
Kiwi🇳🇿 in California🇺🇸
http://stein.ke/
Shriram Krishnamurthi @shriram.bsky.social Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
Mark Hamill @markhamillofficial.bsky.social Believe in yourself! Work hard, never give up & anything's possible! OR: Kick back, relax & aim low: You'll never be disappointed...😜
Ross Tate @rosstate.bsky.social Programming Languages Researcher and Consultant
Jonathan Aldrich @jonathanaldrich.bsky.social Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods.
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Giancarlo Pellegrino @gianko.bsky.social Faculty at CISPA.
Daniel Gruss @gruss.cc Aka @lavados #InfoSec University Professor @ #TUGraz. #meltdown, #spectre, #rowhammer, cache attacks, sustainable security. Produced a side channel security sitcom. https://gruss.cc https://x.com/lavados https://infosec.exchange/@lavados- T @taviso.bsky.social @taviso.bsky.social
Samuel Groß @saelo.bsky.social Working on Project Zero, Big Sleep, and V8 Security. Personal account.
Elissa Redmiles @eredmil1.bsky.social Faculty @Georgetown, Faculty Associate @BKCHarvard
Digital security, "AI", safety, privacy, S*x W*rk
Prev @MSFTresearch @Meta @umdcs @nsfgrfp @datascifellows- N Nadia Heninger @nadiaheninger.bsky.social
@berndfinkbeiner.bsky.social @berndfinkbeiner.bsky.social Computer scientist at CISPA. Formal methods, security, cyber-physical systems, and theory of computation. www.berndfinkbeiner.de
stacksmashing @stacksmashing.bsky.social Security researcher with a focus on hardware & firmware. I occasionally publish stuff on YouTube. Co-founder of
hextree.io. Contact: contact@stacksmashing.net
Richard Johnson @richinseattle.bsky.social Fuzzing; Vulnerability Research;
Deep Learning; Reverse Engineering
Training & Publications @ http://fuzzing.io
Hacking the planet since 1995
Undercurrents.io BOFH
I'll stop the world and melt with you
Marcel Böhme @mboehme.bsky.social Software Security @ MPI for Security and Privacy
PhD @NUS, Dipl.-Inf. @TUDresden
Research Group: http://mpi-softsec.github.io
Lukasz Olejnik @lukaszolejnik.bsky.social Security & Privacy. Data Protection. Research & Development. Engineering. Analyst. Policy. W3C. Consultant. Author. King’s College London/War Studies. me@lukaszolejnik.com
lukaszolejnik.com/books
blog.lukaszolejnik.com
techletters.substack.com
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
@hernanponcedeleon.bsky.social @hernanponcedeleon.bsky.social Research engineer @ Huawei.
Interested in concurrency, PL, and formal methods.
https://hernanponcedeleon.github.io/
Michaël Marcozzi @marcozzi.net 🇪🇺🇧🇪 Permanent researcher in cybersecurity (fuzzing).
Works at CEA List Institute from Université Paris-Saclay (France).
http://www.marcozzi.net
I make software safer by viciously torturing it to reveal its flaws.
I can be kind too.
Christian Wressnegger @chwress.bsky.social Professor in Computer Security at Karlsruhe Institute of Technology (KIT)
https://intellisec.de/chris
Natalie Amiri @natalieamiri.bsky.social Int. Correspondent - 2015-20 Iran/Tehran ARD @DasErste German Television bureau chief - Anchorwoman @Weltspiegel_ARD, Autorin: "Zwischen den Welten"
Alexandria Ocasio-Cortez @aoc.bsky.social Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible.
ocasiocortez.com
Maddie Stone @maddiestone.bsky.social Security Researcher at Google Project Zero. 0-days all day. Love all things reverse engineering. she/her
the grugq @thegrugq.bsky.social
Pwnallthethings @pwnallthethings.bsky.social Just thinking out loud.
@gannimo.bsky.social @gannimo.bsky.social
@halvarflake.bsky.social @halvarflake.bsky.social
Matthew Green @matthewdgreen.bsky.social I teach cryptography at Johns Hopkins. https://blog.cryptographyengineering.com
Stefano Zanero @raistolo.bsky.social Tinkerer, security geek, recovering entrepreneur, full professor at www.polimi.it, frequent flyer, private pilot, and generic pundit. He/Him 🏳️🌈
For aviation follow me on Instagram, same id!
dmnk @dmnk.bsky.social 【DΞCOMPILΞ NΣVΞR】
Android Red Team @google
Fuzzing @aflplusplus.bsky.social
CTF @enoflag
(opinions my own)
joern @jrn.bsky.social Still your mom’s favorite hacker!
Stephen Checkoway @stevecheckoway.bsky.social Associate Professor of Computer Science at Oberlin College. No kings, no nazis, no war.
Katie Moussouris (she/her/she-hulk/she-ra)🌻 @k8em0.bsky.social Founder & CEO LutaSecurity @payequitynow MIT&Harvard visiting scholar, @MasonNatSec fellow, 1/2 Chamoru, 1/2 Greek all-American hacker
Azeria @azeria-labs.com Founder of Azeria Labs, Trainer, Author of Blue Fox: Arm Assembly Internals & Reverse Engineering
Meredith Whittaker @meredithmeredith.bsky.social President of Signal, Chief Advisor to AI Now Institute
Matt Blaze @mattblaze.org Scientist, safecracker, etc. McDevitt Professor of Computer Science and Law at Georgetown. So-called expert on election security and a few other things. Slow photographer. RF nerd. Occasionally blogs at https://mattblaze.org/blog
Chris Wysopal @weld.bsky.social Gray haired gray hat. Co-founder Veracode. Former L0pht security researcher. Builds tools to find and fix vulnerabilities in code at scale.
Michelle Mazurek @mmazurek.bsky.social security, privacy, people
pointy-headed academic, phillies enjoyer
still tomorrow's gonna be another working day / just trying to get some rest
Gianluca Stringhini @gianlucastringhini.com Associate Professor at BU. Cybersecurity and Cybersafety. Come for the memes, stay for the science. Skeets are my own
Manuel 'HonkHase' Atug @honkhase.de 20yrs Sec @CCC, @GeraffelV @cbase @loadev @AG_KRITIS #hacking #Ethik #KRITIS #Cyberresilienz, working at @HiSolutions http://Threema.id/X9H873XJ
Mastodon: https://chaos.social/@HonkHase
LinkedIn: www.linkedin.com/in/manuel-honkhase-atug-820b27241