Grégoire Menguy
Affiliations:- French Alternative Energies and Atomic Energy Commission (CEA), LIST, Palaiseau, France
- Paris-Saclay University, France
According to our database1,
Grégoire Menguy
authored at least 8 papers
between 2021 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on twitter.com
-
on orcid.org
On csauthors.net:
Bibliography
2025
A Query-Based Constraint Acquisition Approach for Enhanced Precision in Program Precondition Inference.
J. Artif. Intell. Res., 2025
Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2025
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).
PhD thesis, 2023
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023
2022
Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
2021
Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021
Search-Based Local Black-Box Deobfuscation: Understand, Improve and Mitigate (Poster).
Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021