2025
Augmenting Search-based Program Synthesis with Local Inference Rules to Improve Black-box Deobfuscation
Vidal Attias, Nicolas Bellec, Grégoire Menguy, Sébastien Bardin, Jean-Yves Marion
The ACM Conference on Computer and Communications Security (ACM CCS 2025)
Exploring the Potential of LLMs for Code Deobfuscation
David Beste, Grégoire Menguy, Hossein Hajipour, Mario Fritz, Antonio Emanuele Cinà, Sébastien Bardin, Thorsten Holz, Thorsten Eisenhofer, Lea Schönherr
22nd Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA’25)
A Query-Based Constraint Acquisition Approach for Enhanced Precision in Program Precondition Inference
Grégoire Menguy, Sébastien Bardin, Nadjib Lazaar, Arnaud Gotlieb
The Journal of Artificial Intelligence Research (JAIR)
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*