Login / Signup
Grégoire Menguy
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 5
Top Topics
Fully Automated
Search Strategy
Candidate Solutions
Inference Process
Top Venues
CCS
CoRR
KR
IJCAI
</>
Publications
</>
Grégoire Menguy
,
Sébastien Bardin
,
Nadjib Lazaar
,
Arnaud Gotlieb
Active Disjunctive Constraint Acquisition.
KR
(2023)
Grégoire Menguy
,
Sébastien Bardin
,
Nadjib Lazaar
,
Arnaud Gotlieb
Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition.
IJCAI
(2022)
Grégoire Menguy
,
Sébastien Bardin
,
Richard Bonichon
,
Cauim de Souza Lima
Search-Based Local Black-Box Deobfuscation: Understand, Improve and Mitigate (Poster).
CCS
(2021)
Grégoire Menguy
,
Sébastien Bardin
,
Richard Bonichon
,
Cauim de Souza Lima
AI-based Blackbox Code Deobfuscation: Understand, Improve and Mitigate.
CoRR
(2021)
Grégoire Menguy
,
Sébastien Bardin
,
Richard Bonichon
,
Cauim de Souza Lima
Search-Based Local Black-Box Deobfuscation: Understand, Improve and Mitigate.
CCS
(2021)