Tenured researcher at the CEA LIST institute from Université Paris-Saclay (FR).
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 (UK, postdoc), Inria (FR, postdoc) and FNRS (BE, PhD).
We have frequent internship, PhD and postdoc openings. Send me 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 in September 2020.
Publications:
SCP journal (2021): Specify and measure, cover and reveal: A unified framework for automated test generation by Sébastien Bardin, Nikolai Kosmatov, Michaël Marcozzi, Mickaël Delahaye
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
Supervision:
May2021: Bernard Nongpoh has started a postdoc on vulnerability detection under my supervision
March 2021: Marwan Nour from Ecole Polytechnique (X, France) has started an internship on fuzzing under my supervision
Service: