| 2026 | ESANN | Deobfuscation as a GNN-Based Graph-Edit Problem by Reinforcement Learning. | Roxane Cohen, Robin David, Samuel Hangout, Florian Yger, Fabrice Rossi |
| 2025 | DIMVA | Experimental Study of Binary Diffing Resilience on Obfuscated Programs. | Roxane Cohen, Robin David, Riccardo Mori, Florian Yger, Fabrice Rossi |
| 2023 | ICSE | PASTIS: A Collaborative Approach to Combine Heterogeneous Software Testing Techniques. | Robin David, Richard Abou Chaaya, Christian Heitman |
| 2018 | LPAR | Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing. | Benjamin Farinier, Robin David, Sbastien Bardin, Matthieu Lemerre |
| 2017 | SP | Backward-Bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes. | Sbastien Bardin, Robin David, Jean-Yves Marion |
| 2016 | ACSAC | Finding the needle in the heap: combining static analysis and dynamic symbolic execution to trigger use-after-free. | Josselin Feist, Laurent Mounier, Sbastien Bardin, Robin David, Marie-Laure Potet |
| 2016 | ISSTA | Specification of concretization and symbolization policies in symbolic execution. | Robin David, Sbastien Bardin, Josselin Feist, Laurent Mounier, Marie-Laure Potet, Thanh Dinh Ta, Jean-Yves Marion |
| 2015 | ICST | Sound and Quasi-Complete Detection of Infeasible Test Requirements. | Sbastien Bardin, Mickal Delahaye, Robin David, Nikolai Kosmatov, Mike Papadakis, Yves Le Traon, Jean-Yves Marion |