Tenured researcher at the CEA LIST institute from Université Paris-Saclay 🇫🇷.
Member of the BINSEC team. We do software security. We use program analysis, fuzzing and machine learning at the binary level.
Alumnus of Imperial College London 🇬🇧(postdoc), Inria 🇫🇷(postdoc) and Université de Namur 🇧🇪(PhD).
We have frequent internship, PhD and postdoc openings. Send us an email if you think that you could be a good match.
🔬LATEST NEWS FROM THE LAB
I have started as a tenured researcher at CEA (September 2020).
Publications:
SPLASH/OOPSLA'19: Compiler Fuzzing: How Much Does It Matter? by Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, Cristian Cadar
ICSE'18: Time to Clean Your Test Objectives by Michaël Marcozzi, Sébastien Bardin, Nikolai Kosmatov, Mike Papadakis, Virgile Prevosto, Loïc Correnson
Service: