about me

• [mastodon]
• [github]
• [orcid]
• [linkedin]
• [cv]

I’m a PhD student in the BINSEC team, working under the supervision of Stefano Zacchiroli and Michaël Marcozzi. My research is focused on automating the detection of advanced vulnerabilities in binary programs. I graduated from Polytech Sorbonne in 2020 with a Master’s degree in Embedded Systems.

I like to code and generally tinker around with stuff and I’ve been doing it since I was little. I also have a YouTube channel where I upload programming and electronics tutorials (in greek) (sometimes).

I also enjoy (both experiencing and writing/performing) music and theater, as well as rock climbing and bouldering.

I would really like to go to space some day.

publications

• Not In My Git Yard: Catching Backdoors at Commit and Release Time

  Dimitri Kokkonis, Michaël Marcozzi, Stefano Zacchiroli

  (To appear) 41st International Conference on Automated Software Engineering (ASE'26)

  Munich, Germany

  
  • [preprint]
  • [bibtex]
  • [artifact]
  • [tool]

• Rosa: Finding Backdoors with Fuzzing

  Dimitri Kokkonis, Michaël Marcozzi, Emilien Decoux, Stefano Zacchiroli

  47th International Conference on Software Engineering (ICSE'25)

  Ottawa, ON, Canada

  

  🏆️ Award winner: Best Artifact (ICSE’25)

  🏆️ Award winner: Best Publication of the Department for 2025 (CEA, List, DILS)

  • [10.1109/ICSE55347.2025.00183]
  • [preprint]
  • [bibtex]
  • [slides]
  • [artifact]
  • [tool]
  • [benchmark]

talks

• Bringing automatic detection of backdoors to the CI pipeline

  FOSDEM'26

  Brussels, Belgium

  Feb 2026

  • [video]
  • [slides]

• Finding backdoors with fuzzing

  FOSDEM'26

  Brussels, Belgium

  Jan 2026

  • [video]
  • [slides]

• Automatic backdoor detection at the binary level

  16ème Workshop Interdisciplinaire sur la Sécurité Globale (WISG'24)

  Rennes, France

  Mar 2024

  🏆️ Award winner: Best Short Presentation (1st place)

• Software Composition Analysis using open-source tools

  Open Source Experience

  Paris, France

  Nov 2021

  • [video]

teaching

I thoroughly enjoy teaching; below, you can find a list of students I’ve (co-)supervised, and a list of courses I’ve TA-ed for or have taught myself.

students

• Mathieu Dartigues

  Intern (co-supervised with Michaël Marcozzi)

  Mar 2026–Aug 2026

  Large-scale backdoor detection campaign on popular firmware using Rosa

• Emilien Decoux

  Intern (co-supervised with Michaël Marcozzi)

  Apr 2024–Aug 2024

  Creation of a synthetic backdoor corpus for the evaluation of Rosa

courses

• Algorithms and programming (IN101)

  ENSTA Paris

  Paris, France

  Oct 2023–Jan 2024, Oct 2024–Feb 2025, Oct 2025–Feb 2026 (36 hours)

  Supervision of the lab/seminar sessions of IN101, an introductory algorithms course based on C for first-year engineering students.

• Intro to Fuzzing

  Télécom SudParis

  Paris, France

  Jan 2025 (3 hours)

  Creation and supervision of an introductory fuzzing lab for final-year engineering students. The lab was taught in both English and French.

  • [handout]

• From logic gates to operating systems (INF107)

  Télécom Paris

  Paris, France

  Sep 2024–Oct 2024 (18 hours)

  Supervision of the lab/seminar sessions of INF107 (ECE_3TC31_TP), a course exploring the “full stack” of a computer, starting from logic gates and building up to operating systems.

• Web Development (INF203)

  Télécom Paris

  Paris, France

  Feb 2023–Apr 2023 (9 hours)

  Supervision of the lab/seminar sessions of INF203, a web development and web security course for second-year engineering students. The course was fully taught in English.

• Finding Software Vulnerabilities with Fuzzing: Capture The Flag

  Summer School on Security Testing and Verification

  Brussels, Belgium

  Sep 2023 (3 hours)

  Co-presentation with my PhD supervisor Michaël Marcozzi. Specifically, I performed a demo of how to use AFL++, followed by a capture-the-flag challenge.

  • [slides]