🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Lorraine Université Lyon 2 @CeisamLab 🥇et Dimitri Kokkonis avec BACKED sur la détection effective de portes dérobées logicielles CEA-List Université Paris-Saclay

Happy to be able to present my recent work at the #MTV2 days :) (paper coming soon 🤞)

🥳📰Very happy and proud that our paper (my first!) in fuzzing-based backdoor detection was accepted at ICSE! More details to follow soon 🙂 in the meantime, congratulations and thank you to Michaël Marcozzi 🇪🇺🇧🇪, Stefano Zacchiroli and Emilien Decoux!

The preprint of our paper on fuzzing-based backdoor detection is now available!

Happy to read such enthusiastic reactions to our ICSE 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…

🏆 Our ROSA tool for backdoor detection has won a best artifact award at ICSE! Try it out: github.com/binsec/rosa Huge thanks and congrats to my student Dimitri Kokkonis for his huge and great work! 👏👏👏

📢 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…

git commit -m "attempt to fix CI" ... git commit -m "attempt to fix CI" ... git commit -m "attempt to fix CI" ... git commit -m "attempt to fix CI" ... git commit -m "attempt to fix CI"

On my way to Ottawa and ICSE 🍁 Presenting on Friday (May 2nd) at 16:00 local time in room 210, come say hi ☺️

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 USENIX Security 2025 -- joint work with Guilhem Lacombe binsec.github.io/nutshells/usen…

Very honored to receive the Best Artifact award at #icse2025 🥳 Congrats and thank you to my coauthors! Michaël Marcozzi 🇪🇺🇧🇪, Emilien Decoux, Stefano Zacchiroli

11am today at #ICSE2025: Rust provides memory safety to low-level code, but in practice Rust libraries link to unsafe C. Ian McCormack, Joshua Sunshine, and I used dynamic analysis to find 46 cases where the C code broke Rust's memory rules, causing undefined behavior.

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…

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

Going to PLDI 2025? Consider attending the BINSEC Team @ Université Paris-Saclay, CEA, List tutorial on binary-level symbolic execution for security analysis. We are waiting for you!

Happy to have presented our SECUBIC project to the French research community in system security (RESSI'25)! 🏠 secubic-ptcc.github.io 🧑‍🔬 Sébastien Bardin Jean-Yves Marion Stefano Zacchiroli Thanks to the RESSI organizers who had even provided a pool to finish my #OOPSLA reviews! 😇

On my way to PLDI 2025. Want to learn more about BINSEC Team @ Université Paris-Saclay, CEA, List, discuss PhD or postdoc positions in the team or simply chat? Feel free to say hello!

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…