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*