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).