Get started
Author

Robin David

BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis
2016 · Robin David, Sebastien Bardin, et al. · IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) · 94
Backward-Bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes
2017 · Sebastien Bardin, Robin David, et al. · IEEE Symposium on Security and Privacy (S&P) · 62
PDF
Sound and Quasi-Complete Detection of Infeasible Test Requirements
2015 · Sebastien Bardin, Mickael Delahaye, et al. · IEEE International Conference on Software Testing, Verification and Validation (ICST) · 48
PDF
QSynth - A Program Synthesis based approach for Binary Code Deobfuscation
2020 · Robin David, Luigi Coniglio, et al. · Workshop on Binary Analysis Research (BAR) · 41
PDF
Finding the needle in the heap: combining static analysis and dynamic symbolic execution to trigger use-after-free
2016 · Josselin Feist, Laurent Mounier, et al. · 30
Specification of concretization and symbolization policies in symbolic execution
2016 · Robin David, Sébastien Bardin, et al. · International Symposium on Software Testing and Analysis · 30
Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing
2018 · Benjamin Farinier, Robin David, et al. · EPiC series in computing · 19
PDF
Identifying obfuscated code through graph-based semantic analysis of binary code
2025 · Roxane Cohen, Robin David, et al. · Applied Network Science · 6
PDF
Identifying Obfuscated Code Through Graph-Based Semantic Analysis of Binary Code
2025 · Roxane Cohen, Robin David, et al. · Studies in computational intelligence · 2
PDF
Experimental Study of Binary Diffing Resilience on Obfuscated Programs
2025 · Roxane Cohen, Robin David, et al. · Lecture notes in computer science · 2
PASTIS: A Collaborative Approach to Combine Heterogeneous Software Testing Techniques
2023 · Robin David, Richard Abou Chaaya, et al. · IEEE/ACM International Workshop on Search-Based Software Testing (SBST) · 2
Formal Approaches for Automatic Deobfuscation and Reverse-engineering of Protected Codes
2017 · Robin David · theses.fr (ABES) · 2
PDF
PASTIS: A Framework for Distributed Ensemble Fuzzing
2024 · Robin David, Christian Heitman · IEEE/ACM International Workshop on Search-Based Software Testing (SBST)
PDF
Works count: 15
Citation count: 338
H-index: 7
I10-index: 7
Year
Topic
Type