About

I am a PhD student at CEA LIST under the supervision of Sebastien Bardin, Arnaud Gotlieb 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.


Activities


Publications

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

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