plumtrie
Dimitri Kokkonis

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 the automation of 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 enjoy doing other things too, like (both experiencing and writing/performing) music and theater, as well as going climbing/bouldering.

I would really like to go to space some day.

events

• Sub-reviewer — SOAP'24 (co-located with PLDI'24)

  ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis  ‧  Copenhagen, Denmark
  March 2023

• Artifact evaluator — ECOOP'24

  European Conference on Object-Oriented Programming  ‧  Vienna, Austria
  February 2024

• Sub-reviewer — SANER'24

  IEEE International Conference on Software Analysis, Evolution and Reengineering  ‧  Rovaniemi, Finland
  November 2023

• Participant — Summer School on Security Testing & Verification

  KU Leuven & VUB  ‧  Brussels, Belgium
  September 2023

• Participant — Marktoberdorf Summer School - Safety and Security through Formal Verification

  Technical University of Munich  ‧  Marktoberdorf, Germany
  August 2023

teaching

• From logic gates to operating systems (INF107) (19.5 hours)

  Télécom Paris  ‧  Paris, France
  September 2024 - October 2024

  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) (9 hours)

  Télécom Paris  ‧  Paris, France
  February 2024 - April 2024

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

• Algorithms and programming (IN101) (27 hours)

  ENSTA Paris  ‧  Paris, France
  October 2023 - January 2024, October 2024 - February 2025

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

• Finding Software Vulnerabilities with Fuzzing: Capture The Flag

  Summer School on Security Testing and Verification  ‧  Brussels, Belgium
  September 2023

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

  slides

talks

• Automatic backdoor detection at the binary level

  WISG'24 (Workshop Interdisciplinaire sur la Sécurité Globale)  ‧  Rennes, France
  March 2024
  Best short presentation award (1st place)
  languages: 🇫🇷

• Software Composition Analysis using open-source tools

  Open Source Experience  ‧  Paris, France
  November 2021
  languages: 🇫🇷

  youtube