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”