iiinova — where your digital self keeps evolving

Michaël Marcozzi @marcozzi.net · 14/09/2026

🚨 Postdoc opening (24 months) in software security & fuzzing! Join our BINSEC team at Université Paris-Saclay (CEA List) to work on smarter fuzzing for supply‑chain security. 📍 Paris‑Saclay 🇫🇷 🔗 Apply: binsec.github.io/jobs/open/20... #Postdoc #Cybersecurity #Fuzzing #BinaryAnalysis

000

Michaël Marcozzi @marcozzi.net · 08/09/2026

🔎 Can CI stop a backdoor before it lands? 💡 Our #ASE26 paper introduces Lily! It uses fuzzing to detect backdoor injections across commits/releases and pinpoint suspect code. Preprint + artifact now available ↓ 📄 binsec.github.io/assets/publi... 🧪 zenodo.org/records/2139...

000

Michaël Marcozzi @marcozzi.net · 22/06/2026

🎉 Our paper got accepted at #ASE2026! We protect open-source stacks from backdoor injections with fast, precise, fuzzing-based detection right in the CI & release pipelines. 🛡️ 👏 Congrats to my PhD student Dimitri Kokkonis, w/ Stefano Zacchiroli. 📄 Preprint and artefact coming soon!

020

Michaël Marcozzi @marcozzi.net · 27/04/2026

010

Michaël Marcozzi @marcozzi.net · 23/10/2025

The Annual French Research Day on Software Testing will be held in beautiful Grenoble on Dec 11! See you there! 😀 Info and registration: gdr-gpl.cnrs.fr?cat=25

Vue de Grenoble avec les montagnes en arrière plan et la rivière en avant plan

020

Michaël Marcozzi @marcozzi.net · 24/05/2025

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! 😇

020

Michaël Marcozzi @marcozzi.net · 05/05/2025

How to detect backdoors efficiently? 🗣️ The slides of our #icse2025 presentation on "Finding Backdoors with Fuzzing" are now available at ⬇️ binsec.github.io/assets/publi...

030

Michaël Marcozzi @marcozzi.net · 18/04/2025

📢 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/20...

000

Michaël Marcozzi @marcozzi.net · 26/03/2025

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

140

Michaël Marcozzi @marcozzi.net · 30/01/2025

I am happy to welcome Andy Zalcman as a new PhD student on better fuzzing guidance! Looking forward to doing fun research together! 🥳 Details: binsec.github.io/people/zalcm...

040

Michaël Marcozzi @marcozzi.net · 20/01/2025

🥳📰 Very happy and proud that our paper on finding backdoors with fuzzing was accepted at the main track of @icseconf.bsky.social! More details to follow soon 🙂 Congratulations and thank you to my students Dimitri Kokkonis and Emilien Decoux and co-supervisor Stefano Zacchiroli!

192

Michaël Marcozzi @marcozzi.net · 09/12/2024

Thank you @mu00d8.bsky.social for presenting your work on improving fuzzer evaluation practices to our team's webinar! This was an enlighting talk and I recommend every fuzzing person to check out the corresponding paper (Distinguished Paper award at S&P'24)! oaklandsok.github.io/papers/schlo...

141