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
- 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’20, ACSAC’21, USENIX Security’22
- Student Volunteer : IJCAI’20, ICSE’21
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
• 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).