Michaël Marcozzi 🇪🇺🇧🇪 @michaelmarcozzi
Permanent researcher in cybersecurity (fuzzing) @UnivParisSaclay I make software safer by viciously torturing it to reveal its flaws I can be kind too marcozzi.net Paris, France Joined February 2010-
Tweets822
-
Followers522
-
Following439
-
Likes2K
The details of the Trump administration's methodical destruction of American science. nytimes.com/interactive/20…
Happy to have presented our SECUBIC project to the French research community in system security (RESSI'25)! 🏠 secubic-ptcc.github.io 🧑🔬 @Seb_Bardin @Jean_YvesMarion Stefano Zacchiroli Thanks to the RESSI organizers who had even provided a pool to finish my #OOPSLA reviews! 😇
Check out our ROSARUM benchmark, part of our #icse2025 paper on backdoors and fuzzing: ▶️ It is a fuzzing benchmark (can fuzzers trigger backdoors reliably and fast?) ▶️ It is a backdoor detection benchmark (can code analyses find backdoors reliably?) ⬇️ github.com/binsec/rosarum
How to detect backdoors efficiently? 🗣️ The slides of our #icse2025 presentation on "Finding Backdoors with Fuzzing" are now available at ⬇️ binsec.github.io/assets/publica…
Very honored to receive the Best Artifact award at #icse2025 🥳 Congrats and thank you to my coauthors! @michaelmarcozzi, Emilien Decoux, Stefano Zacchiroli
Too many bugs in the queue, not enough time to fix them all? Happy to share that our work on automated bug priorization has been accepted at @USENIXSecurity 2025 -- joint work with Guilhem Lacombe binsec.github.io/nutshells/usen…
JOB OFFER! - Liked our work on finding backdoors with fuzzing? Then, join the team as a postdoc and help us fight binary supply-chain attacks! We offer a stimulating and open-minded scientific environment in English, in wonderful Paris! APPLY AT secubic-ptcc.github.io/jobs/open/2025…
JOB OFFER! - Liked our work on finding backdoors with fuzzing? Then, join the team as a postdoc and help us fight binary supply-chain attacks! We offer a stimulating and open-minded scientific environment in English, in wonderful Paris! APPLY AT secubic-ptcc.github.io/jobs/open/2025… https://t.co/jBw7USsXsT
US CISA cybersecurity agency could lose 1300 employees (about a third of its workforce)...
US CISA cybersecurity agency could lose 1300 employees (about a third of its workforce)...
🏆 Our ROSA tool for backdoor detection has won a best artifact award at @ICSEconf! Try it out: github.com/binsec/rosa Huge thanks and congrats to my student @plumtrie for his huge and great work! 👏👏👏
#FUZZING'25 Deadline Extension ────── If you have not finished your #FUZZING paper yet, you are in luck! :) We decided to extend the deadline to March 26, 2025! 🔗 fuzzingworkshop.github.io //cc Rohan Padhye (@moarbugs), László Szekeres (@lszekeres), @RuijieMeng, @mboehme_
Our ROSA tool for backdoor detection is available! Try it out! 👇
Our ROSA tool for backdoor detection is available! Try it out! 👇
Happy to read such enthusiastic reactions to our @ICSEconf paper! ☺️ "ROSA Sets a New Standard for Backdoor Detection." "If you work in cybersecurity, penetration testing, or software auditing, ROSA is a must-try in the fight against hidden threats." medium.com/@itsissachar/r…
How to detect backdoors efficiently? ▶️ Backdoors were found in firmware & open-source code ▶️ Detection requires much manual reverse-engineering ▶️ Fuzzers cannot see backdoors Our @ICSEconf preprint on finding backdoors with fuzzing is at binsec.github.io/nutshells/icse… A thread ⬇️
Timely topic, elegant solution. What else?
One of the @ICSEconf reviewer said that our paper on finding backdoors with fuzzing was "a joy to read"! 🙂 The preprint is here! Give it a try by yourself! 🔽
One of the @ICSEconf reviewer said that our paper on finding backdoors with fuzzing was "a joy to read"! 🙂 The preprint is here! Give it a try by yourself! 🔽
Welcome Andy! Looking foward to doing fun research with you! 🥳
🥳📰Very happy and proud that our paper (my first!) in fuzzing-based backdoor detection was accepted at @ICSEconf! More details to follow soon 🙂 in the meantime, congratulations and thank you to @michaelmarcozzi, Stefano Zacchiroli and Emilien Decoux!
Our paper on backdoor detection with fuzzing has just been accepted at the main track of @ICSEconf! 🥳 Huge congrats to my PhD student @plumtrie, after two years of hard and great work on this topic! I am very proud of this work! ☺️🙂

Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Marcel Böhme👨�... @mboehme_
6K Followers 1K Following Software Security @maxplanckpress (#MPI_SP), PhD @NUSComputing, Dipl.-Inf. @TUDresden_de Research Group: https://t.co/BRnFNNgynB
Alastair Donaldson @afd_icl
3K Followers 430 Following Professor of Programming Languages at Imperial College London
Manuel Rigger @RiggerManuel
3K Followers 2K Following https://t.co/xCKR0xa6W1 Assistant Professor @NUSComputing @test_nus; software engineering, systems, and programming languages.
Alexander Serebrenik @aserebrenik
7K Followers 5K Following Professor Social Software Engineering @TUe_MCS @TUeindhoven 🇳🇱. Diversity, inclusion and source code. 🇧🇪🇮🇱🏳️🌈 🐕 He/him @[email protected]
UNamur - Faculté d'I... @UNamurCSFaculty
1K Followers 377 Following Faculté d'informatique de l'@UNamur (Université de Namur)
Vincent Englebert @englebertv
1K Followers 1K Following https://t.co/ZzQ6oDuMbd @[email protected] https://t.co/O7Eki8lxUF 🇺🇦🌈🇧🇪🇪🇺👨💻👨🏫🚲🚴♂️📷 dans le désordre;
Zhendong Su @zhendongsu
3K Followers 1K Following Professor in Computer Science at ETH Zurich who is interested in PL/SE/DL/EdTech/Security and leads the Advanced Software Technologies (AST) Lab (@ast_eth)
John Wickerson @wicko3
1K Followers 789 Following Senior Lecturer at @ImperialEEE researching programming languages and hardware design. Personal account. Also @wicko3.bsky.social
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Grégoire Menguy @grmenguy
190 Followers 319 Following Cybersecurity researcher at @BinsecTool @CEA_List #ArtificialIntelligence for code analysis from #deobfuscation to precondition inference | #ReverseEngineering
Hernan Ponce De Leon @h_poncedeleon
404 Followers 226 Following Research Engineer @Huawei Dresden Research Center (DRC). Interested in #SoftwareVerification, #ProgrammingLanguages and #Security.
BINSEC Team @ Univers... @BinsecTool
924 Followers 356 Following Binary code analysis for security / Academic research (Infosec, SE, FM, AI) / Open-source tool / Applied in industry / Posts by @michaelmarcozzi and @Seb_Bardin
Paul Temple @pleupi22
399 Followers 393 Following assoc. prof. @RennesUniv, research @DiverSE_Inria, and former post-doc @unamur. Interests in soft. Variability, ML, testing and much more !
Benoît Frénay @benoitfrenay
581 Followers 387 Following Prof. at @UNamurCSFaculty & @NADI_institute of @UNamur, head of @HuMaLearn. Research in Human-Centered ML & AI. Science-Fiction Short-Stories Writer.
Clémentine Maurice @BloodyTangerine
3K Followers 514 Following Researcher @CNRS. Feminist. I work on micro-architectural security.
Stefan Nagy @snagycs
1K Followers 1K Following Faculty @uutah. My lab hunts bugs: https://t.co/R74Wl128A9. Mastodon: [email protected] Bluesky: https://t.co/6sKvEYpXMF
Gilles Perrouin @GPerrouin
571 Followers 349 Following FNRS Research Associate (Tenured, "Chercheur Qualifié"). Program co-chair Benevol 2024 (Nov 21-22) @BenevolWorkshop. Associate editor @acm_tosem
Konstantinos Kitsios @kitsiosk
23 Followers 127 Following PhD Student @ University of Zurich 🇺🇦 Interested in software engineering and software testing.
Alelau @Alelau3310
23 Followers 897 Following
Garrett @g4rrettguo
3 Followers 240 Following
Shuveeeeeee @Rinamuss
11 Followers 327 Following Driving success through leadership & innovation | Passionate about team growth, strategic vision, and turning ideas into reality | #Leadership #TeamBuilder #Res
Mooly Sagiv @NYU @SagivMooly
2K Followers 3K Following Chief Scientist @CertoraInc and a chair of software systems at @TelAvivUni
Neeraj Pal @_neerajpal
234 Followers 1K Following product security @Qualcomm. previously @sony_india, @iiscbangalore. Opinions are mine only. 0x74C8853A777E0EAB
zzra1n @ZhiyuZhang6
34 Followers 141 Following Ph.D. Student@Chinese Academy of Sciences | CTF newbie at Team Yi of NeSE | Fuzzing | Software & OS Security
Imranur Rahman @imranur7
111 Followers 793 Following PhD Student at NC State, Security and Privacy enthusiast, ex Samsung
Jaron Mink @JaronMink
519 Followers 355 Following Asst. Professor @SCAI_ASU | PI @ the https://t.co/egyXKDOubl | PhD from @IllinoisCS | @NSF GRFP Fellow Secure Human-AI Interaction, Human Factors in Sec
Abhishek Reddypalle @AReddypalle
2 Followers 63 Following
Argha 🏏 📚 💻 @StringsVsAtoms
454 Followers 7K Following 🌏 वसुधैव कुटुम्बकम् - 'the world is one family' 🌍
Sean Li @Sean_XiangLi
141 Followers 553 Following Kernel Fuzzing @CityUHongKong, Former Research Assistant/Intern at OSLab @AlibabaGroup DAMO Academy & Zhejiang Lab & Teecert Lab @SUSTechSZ.
wuc9521 @wuc9521
84 Followers 1K Following
Yutian Tang 🏴�... @csytang
490 Followers 2K Following Christian, DoB: Rosh Hashanah, 1990. This is a personal stream, opinions expressed are mine 🇮🇱
Siosith @siosith89521
16 Followers 702 Following
Shealut @shealut73381
59 Followers 2K Following
Clirthair @ClirthairjBKN
68 Followers 3K Following
Yash Verma 🔭 @yashvardhanee
207 Followers 693 Following on break | ⚛️ ⛰️ 🐶 🌱 | passionate about observability | opentelemetry | mostly computing with hep seasoning | Bₛ⁰→Dₛ⁺K⁻
Alperen Keleş @Keleesssss
8K Followers 2K Following METU CENG 21' | PhD Candidate at @umdcs | Writing at https://t.co/O7d6OIVbg4 | Currently random testing compilers, type systems, databases...
Luca Giardullo @GiardulloLuca
1 Followers 1K Following
Mlecchaslayer @Mlecchasla75893
196 Followers 8K Following
Mohammad Rifat Arefin @mo_rifat
64 Followers 460 Following CS PhD Student at @utarlington | Software Engineering | Program Analysis
Ramneet Singh @Ramneet_Singhh
847 Followers 5K Following Research Fellow @MSFTResearch India | Ex RA @gatech_scs, (B. + M.) Tech. CSE IITD | PL, Verification and Theorem Proving | Sports + Music + Food (in that order)
Pishu Mahtani @pmbyte
40 Followers 855 Following XNU/WebKit. occasional bit flipper. tea and scones.
un_kn0wn @W3ld35u5W
166 Followers 2K Following mastadon - @[email protected] bsky - @un---kn0wn.bsky.social "An unjust law is no law at all" St. Augustine
Ojaswi Kumar Mishra�... @0xojaxwi
75 Followers 2K Following Old-school Malware & Offensive Security REsearcher | ⚡Kernel Pwner⚡
Rommel Quintanilla @rommelqc
178 Followers 2K Following
Hussein Muhaisen @husseinmuhaisen
2K Followers 4K Following In stealth reversing security complexity for the consumer and the enterprise // @ // PagedOut and GuidedHacking
Anderson Nascimento @andersonc0d3
3K Followers 3K Following Founder & Security Researcher @allelesecurity Mastodon: @[email protected] Bluesky: @andersonc0d3.bsky.social
Here we go @AvimanyuRoy3
651 Followers 3K Following
Gerson @Gerson62009665
20 Followers 398 Following
Omar Hamad ❤️🙏 @HamatJallo18154
180 Followers 4K Following Free Palestine until Palestine free Palestine ☪️❤️🙏
Mrs.President @N4506S
300 Followers 2K Following Her. I will Reign;) Faith/Fear. Mind/Matter. Lover of Life. God’s Hope🕊️ Lapis-“Know Thyself” happily married 🫡😇no bitcoin, telegram or WhatsApp don’t ask me
Adele*🇺🇸❤️�... @Adelesh12
57 Followers 1K Following Single❤️💗 Fashion-Beauty-Daily Life Love to travel🚞🏝🌎 Golf⛳️ Yoga enthusiast🧘♀️ Fitness
^.Übermensch @_foobarr
24 Followers 2K Following
Byzantine* @KwesiEk
239 Followers 7K Following electrical engineer by academics and a web3 mechanic and a crypto trader . i believe in the power of Decentralize technologies and DAOs prog Language: Rust Dev
ISSTA Conference @issta_conf
2K Followers 17 Following The 34th edition of the ACM SIGSOFT International Symposium on Software Testing and Analysis
Moussa Diarra @MoussaD34153619
63 Followers 422 Following
Benmaghnia Hanane @hbenmag
5 Followers 85 Following
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Marcel Böhme👨�... @mboehme_
6K Followers 1K Following Software Security @maxplanckpress (#MPI_SP), PhD @NUSComputing, Dipl.-Inf. @TUDresden_de Research Group: https://t.co/BRnFNNgynB
Alastair Donaldson @afd_icl
3K Followers 430 Following Professor of Programming Languages at Imperial College London
Manuel Rigger @RiggerManuel
3K Followers 2K Following https://t.co/xCKR0xa6W1 Assistant Professor @NUSComputing @test_nus; software engineering, systems, and programming languages.
Andreas Zeller @AndreasZeller
9K Followers 220 Following Software researcher at @CISPA. Testing and analyzing software for a better world. Find me at @[email protected] or @[email protected].
Peter O'Hearn @PeterOHearn12
1K Followers 117 Following Researcher at Meta AI (FAIR). Prof at University College London. Working on Reasoning.
Arnaud Ruyssen @aruyssen
25K Followers 1K Following Journaliste RTBF, auteur du PODCAST #letournant, #déclic (sur @lapremiere et sur LaTrois) amoureux de la radio et ausculteur de démocratie...
Alexander Serebrenik @aserebrenik
7K Followers 5K Following Professor Social Software Engineering @TUe_MCS @TUeindhoven 🇳🇱. Diversity, inclusion and source code. 🇧🇪🇮🇱🏳️🌈 🐕 He/him @[email protected]
UNamur - Faculté d'I... @UNamurCSFaculty
1K Followers 377 Following Faculté d'informatique de l'@UNamur (Université de Namur)
Vincent Englebert @englebertv
1K Followers 1K Following https://t.co/ZzQ6oDuMbd @[email protected] https://t.co/O7Eki8lxUF 🇺🇦🌈🇧🇪🇪🇺👨💻👨🏫🚲🚴♂️📷 dans le désordre;
Zhendong Su @zhendongsu
3K Followers 1K Following Professor in Computer Science at ETH Zurich who is interested in PL/SE/DL/EdTech/Security and leads the Advanced Software Technologies (AST) Lab (@ast_eth)
John Wickerson @wicko3
1K Followers 789 Following Senior Lecturer at @ImperialEEE researching programming languages and hardware design. Personal account. Also @wicko3.bsky.social
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Grégoire Menguy @grmenguy
190 Followers 319 Following Cybersecurity researcher at @BinsecTool @CEA_List #ArtificialIntelligence for code analysis from #deobfuscation to precondition inference | #ReverseEngineering
Hernan Ponce De Leon @h_poncedeleon
404 Followers 226 Following Research Engineer @Huawei Dresden Research Center (DRC). Interested in #SoftwareVerification, #ProgrammingLanguages and #Security.
Jonathan Piron @jonathanpiron1
5K Followers 525 Following Historien (Moyen-Orient & Iran) /Coordinateur de la prospective @etopia_be /Prof. Relations internationales @ HELMO-HEPL /Chercheur-associé @grip_org
BINSEC Team @ Univers... @BinsecTool
924 Followers 356 Following Binary code analysis for security / Academic research (Infosec, SE, FM, AI) / Open-source tool / Applied in industry / Posts by @michaelmarcozzi and @Seb_Bardin
Toby Murray @tobycmurray
1K Followers 632 Following Go find me at @tobycmurray.bsky.social. Assoc Prof at @UniMelb and @cis_unimelb cyber lead; @DSI_VIC Director; @UniofOxford DPhil (@HertfordCollege); He/him
Paul Temple @pleupi22
399 Followers 393 Following assoc. prof. @RennesUniv, research @DiverSE_Inria, and former post-doc @unamur. Interests in soft. Variability, ML, testing and much more !
Benoît Frénay @benoitfrenay
581 Followers 387 Following Prof. at @UNamurCSFaculty & @NADI_institute of @UNamur, head of @HuMaLearn. Research in Human-Centered ML & AI. Science-Fiction Short-Stories Writer.
ISSTA Conference @issta_conf
2K Followers 17 Following The 34th edition of the ACM SIGSOFT International Symposium on Software Testing and Analysis
Live From Liege @LiveFromLiege
4K Followers 1K Following Un peu de tout mais surtout beaucoup de #Liège. Fan de la Cité Ardente et du RFC Liège. Liégeois et pas robot: parfois un peu d'actu mais demain j'arrête
Yannic Noller (@yanni... @yannicnoller
559 Followers 652 Following CS Professor at @ruhrunibochum See you on BlueSky: https://t.co/HEXCP9tkuT
Martin Nyx Brain @ciphernyx
838 Followers 481 Following Automatic verification, SMT, floating-point, SAT, abstract interpretation, maffs, crypto means cryptography, security, academic, etc. Banner by @forestfawnette
Jean-Yves Marion @Jean_YvesMarion
194 Followers 152 Following
Martin Untersinger @martin_u
20K Followers 1K Following Journaliste au Monde (@pixelsfr), parti poster ici : https://t.co/f98azD6u0k
ANR - Agence national... @AgenceRecherche
22K Followers 754 Following Tous les projets, toutes les disciplines, tous les acteurs. L'ANR soutient la recherche dans sa diversité. Aussi sur LinkedIn, Bluesky, Insta #ANR #France2030
SoftwareLanguagesLab @softlab_brussel
611 Followers 137 Following The Software Languages Lab is a research lab within the Department of Computer Science of the Vrije Universiteit Brussel (VUB).
Aïcha Boukhari @Aicha_bkhr
3 Followers 2 Following
Sébastien Bardin @Seb_Bardin
183 Followers 334 Following Researcher in Computer Science, formal methods / program analysis / cybersecurity / software engineering, a bit of quantum programming too
Belgique en France et... @BelgiuminFrance
2K Followers 327 Following Ambassade du Royaume de Belgique 🇧🇪 auprès de la République francaise 🇫🇷 et en Principauté de Monaco 🇲🇨
Campus France @CampusFrance
55K Followers 3K Following Vous souhaitez étudier en 🇫🇷 ? #RendezVousEnFrance grâce à Campus France ! Découvrez @FranceAlumni, le réseau des anciens étudiants internationaux en 🇫🇷 !
Quentin Stiévenart @acieroid
138 Followers 541 Following
Daniel Schemmel @danielschemmel
55 Followers 22 Following
Maria Christakis @mchri5taki5
663 Followers 327 Following professor @tu_wien; previously @mpi_sws_, @UniKentComp, @MSFTResearch, @CSatETH, @ecentua; hiring!
Dimitri Kokkonis @plumtrie
49 Followers 54 Following PhD student in cybersecurity. Also on mastodon: @[email protected]
Hiet Guillaume @GuillaumeHiet
164 Followers 200 Following Professor of computer security @CentraleSupelec / @irisa_lab. I work on security at the software/hardware interface. now at @guillaumehiet.bsky.social
Unseen Japan @UnseenJapanSite
135K Followers 901 Following The Japan you don't learn about in anime. Staff account.
Sam Thomas @xorpse
479 Followers 559 Following Chief Scientist @binarly_io. Program analysis. Reverse engineering. Backdoor detection.
Software Heritage @SWHeritage
4K Followers 2K Following We collect, preserve, and share #software #sourcecode for present and future generations. #swh #softwarecommons #freesoftware #opensource
Stephan Lipp (inactiv... @stephanlipp
153 Followers 576 Following
Maria Mushtaq @Maria_Mushtaq_
111 Followers 337 Following Associate Professor at Telecom Paris # embedded security #information security #microarchitectural security
Josselin Feist @Montyly
4K Followers 907 Following Working on blockchain security & program analysis. Ex @trailofbits. DM for security reviews.
Hexacon @hexacon_fr
5K Followers 1 Following Offensive security conference in the heart of Paris. 10-11th October 2025 Join our Discord server! https://t.co/Btl15G8LsI
jose.fragoso.santos @josefragososan
138 Followers 624 Following Assistant professor at IST Lisbon. PL and Formal Methods.
Christophe Hauser @kereoz
54 Followers 88 Following Research lead at university of southern California's Information Sciences Institute. Binary program analysis/reverse engineering/vulnerability discovery.
Arindam Sharma @arindam_sharma8
46 Followers 89 Following Computer Science PhD student at @SRGImperial Working on software patch testing and fuzzing London/Oxford
Brahim @brahimAOT
26 Followers 437 Following
Simaei @ArastehCma
685 Followers 1K Following Phd student at USC | Binary Analysis |EXIntern @Certik | EXIntern @Qualcomm | (ENFJ) a person who physically lives in LA and mentally in Iran.
Sreepathi Pai @SreepathiPai
397 Followers 344 Following Academic (CompSci@Rochester). Randonneur. (RFC1983) Hacker. I like writing code that writes fast, parallel code, mostly for GPUs. @[email protected]
Tweetinades @tintinades
103K Followers 220 Following Tintinades diverses 🚀 Pastiches & parodies. Insta : @tintinades TikTok : @tintinok Mail : [email protected]
Marwan Nour @__M4rwan
98 Followers 508 Following Cybersecurity engineer. @AUB_Lebanon & @Polytechnique Alumnus. Views are my own.
GDR Sécurité Inform... @GdrSecInfo
1K Followers 10 Following Le GDR Sécurité Informatique est un outil d'animation de la recherche scientifique française créé par l'INS2I du CNRS, et ouvert à toute la communauté.
Benabidallah Raounak @BenabidallahR
16 Followers 39 Following
F.R.S.-FNRS @frsFNRS
5K Followers 346 Following Le FNRS ne publie plus sur X depuis le 17 janvier 2025. Retrouvez nos informations sur notre site https://t.co/vdEaI60tJ3, sur LinkedIn et sur Facebook.
Giulio - peperunas@in... @peperunas
487 Followers 611 Following Computer Security Ph.D. Candidate | Occasional CTF player | Drummer and a bit of a bass player | Most importantly, Doom fanboy
Ricardo J. Rodríguez @RicardoJRdez
2K Followers 1K Following Associate Professor @ University of Zaragoza. Researching on program binary analysis, memory forensics, and survivability.
Moritz Schloegel @m_u00d8
889 Followers 678 Following Security researcher & postdoc @ASU; PhD from @ruhrunibochum @mu00d8.bsky.social @[email protected]
Felix Stutz @Felix_Stutz_
94 Followers 72 Following PhD Student at MPI-SWS | https://t.co/NjIyuVvzCU | Former Research Intern at MIT | Working on Formal Methods for Distributed Computing
Fondation suisse @Fondationsuisse
493 Followers 225 Following Pavillon Le Corbusier - un lieu de vie, d’architecture et de culture.