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 automating the detection of advanced vulnerabilities in binary programs.