About

I am a PhD student at CEA LIST under the supervision of Sebastien Bardin, Arnaud Goetlieb and Nadjib Lazaar. My research focuses on combining formal methods and artificial intelligence for binary analysis.

I am interrested by artificial intelligence and cybersecurity – more specifically by software security. I leverage aritificial intelligence with deductive methods to perform reverse engineering, software validation and testing.

I received in 2018 my Engineering and Master degree from Télécom SudParis (Évry, France) specialised in cybersecurity. I also obtained the Expert of information systems security certification from the National Cybersecurity Agency of France (ANSSI – Agence Nationale de la Sécurité des Systèmes d’Information).

Previous Research Experiences

2018 I worked at FORTH-ICS under the supervision of Dr. Ioannidis on android malware analysis. I performed a preliminary study on the use of cryptojackers in android apps from different markets.


Publications

No publication for now.


Talks

2021

AI-based Code Deobfuscation: Evaluation and Improvement
Grégoire Menguy, Sébastien Bardin, Richard Bonichon, Cauim de Souza Lima
The 2020 Machine Learning for Program Analysis (MLPA 2020) workshop

2020

Intelligence artificielle pour la déobfuscation
Grégoire Menguy, Sébastien Bardin, Richard Bonichon, Cauim de Souza Lima
Conference on Artificial Intelligence for Defense (CAID2020)


Teaching

2020 / 2021

Operating System at ENSTA ParisTech (15h): Supervizing M1 students during remote – because of Covid-19 – pratical works (french).

2019 / 2020

Operating System at ENSTA ParisTech (15h): Supervizing M1 students during pratical works (french).