About

I am currently a researcher at CEA LIST, where I work on new powerful reverse engineering methods to help code understanding, malware analysis and much more. I am interested in artificial intelligence and cybersecurity – specifically, software security. I leverage artificial intelligence with formal methods to perform reverse engineering.

Previously, I was a Ph.D. student at CEA LIST under the supervision of Sebastien Bardin, Arnaud Gotlieb and Nadjib Lazaar. I defended my thesis on March 14th, 2023. I studied how artificial intelligence can be used for binary code reverse engineering.

I received in 2018 my Engineering and Master’s degree from Télécom SudParis (Évry, France) specialized 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.


Activities


Publications

2023

Active Disjunctive Constraint Acquisition
Grégoire Menguy, Sébastien Bardin, Nadjib Lazaar, Arnaud Gotlieb
The 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023)
Core ranking: A*

2022

Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition
Grégoire Menguy, Sébastien Bardin, Nadjib Lazaar, Arnaud Gotlieb
The 31st International Joint Conference on Artificial Intelligence (IJCAI 2022)
Core ranking: A*

2021

Search-Based Local Black-Box Deobfuscation: Understand, Improve and Mitigate
Grégoire Menguy, Sébastien Bardin, Richard Bonichon, Cauim de Souza Lima
The ACM Conference on Computer and Communications Security (ACM CCS 2021)
Core ranking: A*


Talks

Conferences and Workshops

2022

Search-Based Local Black-Box Deobfuscation: Understand, Improve and Mitigate
Grégoire Menguy, Sébastien Bardin, Richard Bonichon, Cauim de Souza Lima
6th Franco-Japanese Cybersecurity Workshop

2021

Search-Based Local Black-Box Deobfuscation: Understand, Improve and Mitigate
Grégoire Menguy, Sébastien Bardin, Richard Bonichon, Cauim de Souza Lima
The ACM Conference on Computer and Communications Security (ACM CCS 2021)

Protecting Against AI-based Code Deobfuscation
Grégoire Menguy, Sébastien Bardin, Richard Bonichon, Cauim de Souza Lima
Conference on Artificial Intelligence for Defense (CAID 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 (CAID 2020)

Invited Talks

Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition
Grégoire Menguy, Sébastien Bardin, Nadjib Lazaar, Arnaud Gotlieb
Simula Research Laboratory (2022) : Research laboratory specilized in machine learning for industrial projects
Télécom SudParis : French engineering school

Search-based Local Blackbox deobfuscation: Understand, Improve and Mitigate
Grégoire Menguy, Sébastien Bardin, Richard Bonichon, Cauim de Souza Lima
LIRMM COCONUT (2020) : Research laboratory specilized in artificial intelligence
Quarkslab (2021) : R&D company specialized in binary analysis
Emproof (2021) : R&D company specialized in software protections
SoSySec seminar (2022) : Cybersecurity seminar co-organized by INRIA, DGA and IRISA

Tools Demos

Xyntia: Blackbox deobfuscation tool (see)
2022 Annual Meeting of the WG “Formal Methods for Security”


Teaching

2021 / 2022

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

2020 / 2021

Architecture at IUT d’ORSAY (24h)
Supervizing L2 students during pratical works (french)

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

2019 / 2020

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