Search-Based Local Black-Box Deobfuscation: Understand, Improve and Mitigate (Poster). - Grégoire Menguy; Sébastien Bardin; Richard Bonichon; Cauim de Souza Lima (CCS, 2021)

Search-Based Local Black-Box Deobfuscation: Understand, Improve and Mitigate. - Grégoire Menguy; Sébastien Bardin; Richard Bonichon; Cauim de Souza Lima (CCS, 2021)

AI-based Blackbox Code Deobfuscation: Understand, Improve and Mitigate. - Grégoire Menguy; Sébastien Bardin; Richard Bonichon; Cauim de Souza Lima (CoRR, 2021)

Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition. - Grégoire Menguy; Sébastien Bardin; Nadjib Lazaar; Arnaud Gotlieb (IJCAI, 2022)

Active Disjunctive Constraint Acquisition. - Grégoire Menguy; Sébastien Bardin; Nadjib Lazaar; Arnaud Gotlieb (KR, 2023)

Black-box code analysis for reverse engineering through constraint acquisition and program synthesis. (Analyse de code en boîte noire pour la rétro ingénierie via acquisition de contraintes et synthèse de code). - Grégoire Menguy (2023)

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 (DIMVA (1), 2025)

A Query-Based Constraint Acquisition Approach for Enhanced Precision in Program Precondition Inference. - Grégoire Menguy; Sébastien Bardin; Arnaud Gotlieb; Nadjib Lazaar (J. Artif. Intell. Res., 2025)