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
- PC Chair : GTMFS 2025
- Sub-reviewer : DIMVA’20, ACSAC’20, ISSTA’21, ESORICS’21, RTAS’22, CAV’22, ISSTA’22, ESORICS’22, DIMVA’22, ESEC/FSE’22
- Artifacts evaluation : ACSAC 2020, 2021; USENIX Security 2022, 2023; CAV 2023
- Student Volunteer : IJCAI’20, ICSE’21
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).