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 6 papers
between 2021 and 2023.
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
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