BINSEC Team @ Université Paris-Saclay, CEA, List @BinsecTool
Binary code analysis for security / Academic research (Infosec, SE, FM, AI) / Open-source tool / Applied in industry / Posts by @michaelmarcozzi and @Seb_Bardin binsec.github.io Paris, France Joined September 2020-
Tweets648
-
Followers924
-
Following356
-
Likes582
BINSEC Team @ Université Paris-Saclay, CEA, List retweeted
@USENIXSecurity 2025 is starting in 1h and something! My amazing student GuilhemLacombe will present our work entitled "Attacker Control and Bug Prioritization" on August 14 (4pm session, track 2). Want to know more about assessing the danger of a vulnerability without…
1
4
12
675
4
Download Image
BINSEC Team @ Université Paris-Saclay, CEA, List retweeted
Back from @PLDI 2025, where Frédéric Recoules and I had the pleasure to give a tutorial on BINSEC and binary-level symbolic execution. Here it is, playable in your browser: binsec.github.io/tutorial-pldi2…
BINSEC Team @ Université Paris-Saclay, CEA, List retweeted
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! 😇
BINSEC Team @ Université Paris-Saclay, CEA, List retweeted
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…
BINSEC Team @ Université Paris-Saclay, CEA, List retweeted
Very honored to receive the Best Artifact award at #icse2025 🥳 Congrats and thank you to my coauthors! @michaelmarcozzi, Emilien Decoux, Stefano Zacchiroli
BINSEC Team @ Université Paris-Saclay, CEA, List retweeted
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…
BINSEC Team @ Université Paris-Saclay, CEA, List retweeted
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
BINSEC Team @ Université Paris-Saclay, CEA, List retweeted
📢 I am looking for a postdoc on fuzzing, to prevent backdoors and supply-chain attacks! Come and join the team here in Paris (or spread the word)! 🙂 Details and application: secubic-ptcc.github.io/jobs/open/2025…
BINSEC Team @ Université Paris-Saclay, CEA, List retweeted
🏆 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! 👏👏👏
BINSEC Team @ Université Paris-Saclay, CEA, List retweeted
We (myself, @michaelmarcozzi, Stefano Zacchiroli, Emilien Decoux) release the ROSA toolchain, enabling fuzzing-based backdoor detection 🎉 Tool: github.com/binsec/rosa Benchmark: github.com/binsec/rosarum This work received both Available & Reusable badges at @ICSEconf 🥳
We (myself, @michaelmarcozzi, Stefano Zacchiroli, Emilien Decoux) release the ROSA toolchain, enabling fuzzing-based backdoor detection 🎉 Tool: github.com/binsec/rosa Benchmark: github.com/binsec/rosarum This work received both Available & Reusable badges at @ICSEconf 🥳
BINSEC Team @ Université Paris-Saclay, CEA, List retweeted
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…
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
Michaël Marcozzi �... @michaelmarcozzi
522 Followers 439 Following Permanent researcher in cybersecurity (fuzzing) @UnivParisSaclay I make software safer by viciously torturing it to reveal its flaws I can be kind too
Manuel Rigger @RiggerManuel
3K Followers 2K Following https://t.co/xCKR0xa6W1 Assistant Professor @NUSComputing @test_nus; software engineering, systems, and programming languages.
Clémentine Maurice @BloodyTangerine
3K Followers 514 Following Researcher @CNRS. Feminist. I work on micro-architectural security.
Roberto Giacobazzi�... @rgiacobazzi
841 Followers 653 Following Professor of Computer Science: Theory of computation, computers, languages and their semantics
Romain THOMAS @rh0main
4K Followers 957 Following No longer here. https://t.co/7pANImx70w https://t.co/uhAhqoJWhH https://t.co/9MSpkLkKPz
open-obfuscator @open_obfuscator
425 Followers 69 Following A free and open-source obfuscator for mobile applications. Discord: https://t.co/gbkIN9uziF
Laure Gonnord @l_gonnord
1K Followers 614 Following Enseignante-Chercheuse en Informatique, sur le départ de twitter
Julien Vanegue @jvanegue
6K Followers 958 Following CTO Office / Head of Infra & Security Research @Bloomberg. Interested in mathematical techniques for software, systems, and network analysis at world scale.
Grégoire Menguy @grmenguy
189 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.
jeppojeps - Antonio N... @jeppojeps
892 Followers 395 Following Zimperium Inc. scholar, inventor. FWIW opinions are my own. Author of Fuzzing Against the Machine founder @ https://t.co/1OJiGY3WHs
Kuriakose Kuruvilla @kur1ak0s3
10 Followers 320 Following
muiddtl @muiddtl
18 Followers 610 Following
Garrett @g4rrettguo
3 Followers 240 Following
Ihadee @Ihadee676
19 Followers 966 Following
Erwan Grelet @ergrelet
704 Followers 245 Following Fond of reverse engineering and software development. Doing security engineering at some company. 🐘: @[email protected] 🦋: @ergrelet.bsky.social
SupermanSpace 𝕏 @superman_space
883 Followers 2K Following Tech Researcher - Gamer - Open Searcher 😎 ||Fun Fact|| 📊Numbers leads to 👀 Bias.
Basit Mustafa @moltar81435
415 Followers 8K Following introverted but willing to discuss sanctuary moon innovation/ai + dsop/ai delivery @ https://t.co/nQ5pf3TzTZ
박명훈 @mhun512
59 Followers 703 Following
. @fuehskhfbr
11 Followers 204 Following
Splintersfury @Splintersfury
206 Followers 1K Following Malware analyst and cybersecurity professional focused on Windows kernel internals and reverse engineering.
Darren Webb ☠🕷 @spyd3r
1K Followers 7K Following Computational demonologist. The following tweets are classified SECRET GOLD JULY BOOJUM. 101 824 5150
Luca Negrini @lucaneg7
18 Followers 109 Following PhD in Computer Science | Static Analysis Specialist | Assistant Professor @ Ca' Foscari Univeristy of Venice
Balkrishna Jadhav @hacker3j
820 Followers 8K Following AVP - Threat Hunting @ Kotak Mahindra Bank| Senior Threat Intelligence|Forensicator|MindHunter| Innovator|Malwarologist|Espionage||Inventor
Jon @asterion_bit
60 Followers 499 Following ★* 。 • ˚ ˚ ˛ ˚ ˛ •。★ 。* 。★* 。 • ˚ ˚ ˛ ˚ ˛ •。★ 。* 。★* 。 • ˚ ˚ ˛ ˚ ˛ •。★ 。* 。★* 。 • ˚ ˚ ˛ ˚ ˛ •。★ 。* 。★* 。 • ˚ ˚ ˛ ˚ ˛ •。★ 。*
Nicola Assolini @NicolaAssolini
89 Followers 416 Following Verona • Ph.D. student in Quantum Programming Language • Univr
lucas @Suuharsu
0 Followers 300 Following
Seasuesmu @Seasuesmu1LEgL
110 Followers 6K Following
Neeraj Pal @_neerajpal
234 Followers 1K Following product security @Qualcomm. previously @sony_india, @iiscbangalore. Opinions are mine only. 0x74C8853A777E0EAB
Alex @Alex00m00xelA
11 Followers 223 Following
Argha 🏏 📚 💻 @StringsVsAtoms
454 Followers 7K Following 🌏 वसुधैव कुटुम्बकम् - 'the world is one family' 🌍
psyduck @borntobe_t3
0 Followers 56 Following
Quoyrore @QuoyroreYxZt
53 Followers 1K Following
Jin Hongchao @7007jhc
4 Followers 149 Following
Sosuke Uchiha @Sosuke_Uchiha_
0 Followers 2K Following Admiration is the emotion furthest away from comprehension.
Tristan Benoit @TristanBenoitCS
3 Followers 20 Following Chercheur en cybersecurité informatique. Analyse des binaires par l'IA. Maitre de conférences chez @ENSICAEN
Abhishek Reddypalle @AReddypalle
2 Followers 63 Following
GuoSQ @MMmm39958158
3 Followers 174 Following
AT @Adrien_Thuau
19 Followers 2K Following
manuel @squarecoffin
6 Followers 937 Following
Meruem @Meruem49839142
170 Followers 8K Following
Walter @h62583263
73 Followers 2K Following
Hans Fischer @HansFischer4368
0 Followers 434 Following Infosec, Entrepreneur, Lifestyle Coach, Food Enjoyer, Business Angel, Web Surfer, Air Breather, Author, Philantropist, CEO of Cyber, Artist, Crypto Investor
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
Trail of Bits @trailofbits
35K Followers 255 Following We help secure the world’s most targeted organizations and products. We combine security research with an attacker mentality to reduce risk and fortify code.
Mathias Payer @gannimo
8K Followers 388 Following Securitatis inquisitor and professor at @EPFL_en leading the #HexHive 🐝 group, focusing on system/software security. @[email protected] (he/him)
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].
Alastair Donaldson @afd_icl
3K Followers 430 Following Professor of Programming Languages at Imperial College London
Michaël Marcozzi �... @michaelmarcozzi
522 Followers 439 Following Permanent researcher in cybersecurity (fuzzing) @UnivParisSaclay I make software safer by viciously torturing it to reveal its flaws I can be kind too
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Binni Shah @binitamshah
141K Followers 165 Following Linux Evangelist, Malwares, Security enthusiast , Investor, Contrarian , Philanthropist , Reformist , Sigma female 🦋 https://t.co/WOvf41tMKV
Tim Blazytko @mr_phrazer
5K Followers 258 Following Binary Security Researcher, Chief Scientist at https://t.co/XhN07utPLu and Trainer. Also at https://t.co/YBfgAt3kc7
Nicolas Krassas @Dinosn
146K Followers 735 Following Head of Threat & Vulnerability Mgmt @ Henkel AG & Co. KGaA https://t.co/NC1orlKrW3
Manuel Rigger @RiggerManuel
3K Followers 2K Following https://t.co/xCKR0xa6W1 Assistant Professor @NUSComputing @test_nus; software engineering, systems, and programming languages.
Clémentine Maurice @BloodyTangerine
3K Followers 514 Following Researcher @CNRS. Feminist. I work on micro-architectural security.
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Daniel Gruss @lavados
9K Followers 529 Following #InfoSec University Professor @ #TUGraz. #meltdown, #spectre, #rowhammer, cache attacks, sustainable security. Produced a side channel security sitcom.
Static Analysis Sympo... @symposiumSAS
298 Followers 2 Following 31th International Static Analysis Symposium, co-located with @splashcon #SAS2024
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
Roberto Giacobazzi�... @rgiacobazzi
841 Followers 653 Following Professor of Computer Science: Theory of computation, computers, languages and their semantics
Mike Hicks @michael_w_hicks
5K Followers 469 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Romain THOMAS @rh0main
4K Followers 957 Following No longer here. https://t.co/7pANImx70w https://t.co/uhAhqoJWhH https://t.co/9MSpkLkKPz
Max Eisele @MaxCamillo
70 Followers 72 Following
Perri Adams @perribus
7K Followers 993 Following @Dartmouth ISTS Fellow & @SAISHopkins Adjunct Prof., inter alia. Former @DARPA, @DEFCON CTF, etc. @DistrictCon, @hexacon_fr, @LABScon_io is CFP Review Boards
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
SSTIC @sstic
6K Followers 0 Following Le SSTIC est une conférence francophone sur le thème de la sécurité de l'information. Il a lieu à Rennes au mois de juin. https://t.co/N0ZJfr5V3s
Virtual Routes @VirtualRoutes
5K Followers 4K Following Virtual Routes tackles the impact of digital and emerging technologies on global affairs. Also check out @bindinghook, our media outlet.
Yannic Noller (@yanni... @yannicnoller
559 Followers 652 Following CS Professor at @ruhrunibochum See you on BlueSky: https://t.co/HEXCP9tkuT
Kevin Butler @kevinrbbutler
1K Followers 208 Following Professor at University of Florida, focusing on computer systems security
ASE 2024 @ASE_conf
2K Followers 249 Following The 39th IEEE/ACM International Conference on Automated Software Engineering | #ASE2024 | CORE A* | #SoftwareEngineering
Rajeev Alur @RajeevAlur
2K Followers 232 Following Professor of Computer Science at @Penn, researcher in Formal methods, Programming languages, Safe AI, Cyber-physical systems
Andrew Myers @AndrewCMyers
5K Followers 295 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
ISSTA Conference @issta_conf
2K Followers 17 Following The 34th edition of the ACM SIGSOFT International Symposium on Software Testing and Analysis
Boaz Barak @boazbaraktcs
24K Followers 588 Following Computer Scientist. See also https://t.co/EXWR5k634w . @harvard @openai opinions my own.
Kuldeep S. Meel @ksmeel
2K Followers 319 Following Associate Professor at Georgia Tech and University of Toronto (On Leave). https://t.co/Cm8BZMIOqc Automated Reasoning | Formal Methods + AI
Mate Soos @SoosMate
1K Followers 479 Following Hacker, security architect, and researcher. Hobbies: SAT solving/counting, accident investigations, symbolic execution, rc modeling, art.
Isil Dillig @IsilDillig
4K Followers 839 Following CS Professor at UT Austin + President of @VeridiseInc.
Catalin Hritcu @chritcu
687 Followers 607 Following Tenured Faculty at Max Planck Institute for Security and Privacy (MPI-SP) https://t.co/RBM7ZHHQst
Daniele Cono D'Elia @dcdelia
473 Followers 336 Following Tenure-track assistant professor at @SapienzaRoma working on software and systems security research. Traveler, cyclist, animal lover.
Henri-Pierre Charles @henri_31415r
160 Followers 489 Following Research director, 🇫🇷 fellow CEA, Grenoble. 🖥 architecture ,💡research, compiler, JIT, embedded systems, code polymorphism, In memory computing, PhD advisor
Laure Gonnord @l_gonnord
1K Followers 614 Following Enseignante-Chercheuse en Informatique, sur le départ de twitter
grumpy @grumpyfr
151 Followers 575 Following
Benjamin Beurdouche @beurdouche
651 Followers 486 Following Security Researcher and Cryptography TL @Mozilla / Tweets are my own. IH-SNC7
Arie Gurfinkel @ariegurfinkel
225 Followers 152 Following
BINARLY🔬 @binarly_io
4K Followers 428 Following ⛓️Binarly is the world’s most advanced automated software supply chain security platform.
Mahmudul Faisal @phaysaal
13 Followers 49 Following
Dimitri Kokkonis @plumtrie
49 Followers 54 Following PhD student in cybersecurity. Also on mastodon: @[email protected]
Simone Aonzo @packm4d
647 Followers 1K Following Malware hunter ☣ && Assistant Professor @EURECOM https://t.co/I24NTCX5pU
Alexandra Silva @alexandra8silva
2K Followers 869 Following Computer scientist, loves traveling and food tasting!
Association for Compu... @TheOfficialACM
72K Followers 3K Following The world's largest professional organization advancing #computing as a science and profession. Also @mastodon.acm.org Likes & shares ≠endorsement
Étienne André (now ... @etienne_andre
365 Followers 114 Following Professeur @ Université Sorbonne Paris Nord (@univ_spn, @LipnLab) Institut Universitaire de France #FlyLess (no plane travel within Europe) (he/him)
ETAPS Conferences (no... @ETAPSconf
346 Followers 51 Following We aren't here; find us on BlueSky, Mastodon, Facebook or Linkedin. Or in person, at ETAPS 2026: April 11 - 16, Torino, Italy
Jasvir Nagra ✨ @jasvir
1K Followers 706 Following Advisor & builder. Formerly security @dropbox, product @instart & @google, authored Surreptitious Software, TL for Caja. I love good food, fine wine & great JS.
Maria Christakis @mchri5taki5
663 Followers 327 Following professor @tu_wien; previously @mpi_sws_, @UniKentComp, @MSFTResearch, @CSatETH, @ecentua; hiring!
AISER Team @aiser_team
28 Followers 43 Following AI Safety, Explainability and Robustness Team at CEA. Tools: - CAISAR: https://t.co/m9KJaC0FkU - PyRAT: https://t.co/zlIKcDfxk5 - Colibri*: https://t.co/dqirmPTGNx
Salwa Souaf @SalwaSouaf
2 Followers 18 Following
Nate Foster @natefoster
6K Followers 1K Following professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
Vinod Grover @vinodg
3K Followers 1K Following Sr Distinguished Engineer @nvidia. Compilers, CUDA C++, PL, Machine Learning and Systems. tweets and opinions are personal.
Jann Horn - jann@info... @tehjh
16K Followers 229 Following occasional human borrow checker; works at Google Project Zero; personal account; mastodon: [email protected]
Doomscrolling Reminde... @doomscroll_bot
100K Followers 2 Following telling you to drink water, sit up straight, and stop doomscrolling. (bot-in-progress by @karenkho) (current avi: Frog from Meika gafu by Matsumoto Hoji, 1814)
Davide Balzarotti @balzarot
3K Followers 318 Following Professor in Computer Security @EURECOM. Ex Defcon CTF organizer with @oooverflow
Luca Compagna @compaluca
127 Followers 157 Following
Synacktiv @Synacktiv
20K Followers 271 Following Offensive security company. Dojo of many ninjas. Red teaming, reverse engineering, vuln research, dev of security tools and incident response.
Alex Stamos @alexstamos
90K Followers 2K Following You can find me at: https://t.co/Enct5hx8bS https://t.co/CuE5u72rhWTrends for United States
29,6 B posts
8.629 posts
27,5 B posts
235 B posts
24,9 B posts
4.209 posts
5.478 posts
4.016 posts
7.237 posts
1.017 posts
1.585 posts
1.600 posts
3.163 posts
2.680 posts
14,8 B posts
2.844 posts
You might like
quarkslab
@quarkslab
12K Followers
rev.ng
@_revng
5K Followers
Tim Blazytko
@mr_phrazer
5K Followers
The Triton library
@qb_triton
2K Followers
Interrupt Labs
@InterruptLabs
3K Followers
USENIX WOOT Conferenc...
@wootsecurity
2K Followers
Dang (midas) Le
@_lkmidas
1K Followers
Marcel Böhme👨�...
@mboehme_
6K Followers
Hexacon
@hexacon_fr
5K Followers
Andrea Fioraldi
@andreafioraldi
3K Followers
Robin David
@RobinDavid1
711 Followers
Stefan Nagy
@snagycs
1K Followers