Robin David

14 papers A* 1A 3B 1Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2025 — conf
Experimental Study of Binary Diffing Resilience on Obfuscated Programs.
DIMVA (1)
Roxane Cohen, Robin David, Riccardo Mori, Florian Yger, Fabrice Rossi
2025 J jnl
Identifying Obfuscated Code through Graph-Based Semantic Analysis of Binary Code.
CoRR
Roxane Cohen, Robin David, Florian Yger, Fabrice Rossi
2025 J jnl
Identifying obfuscated code through graph-based semantic analysis of binary code.
Appl. Netw. Sci.
Roxane Cohen, Robin David, Florian Yger, Fabrice Rossi
2024 — conf
PASTIS: A Framework for Distributed Ensemble Fuzzing.
SBFT@ICSE
Robin David, Christian Heitman
2023 — conf
PASTIS: A Collaborative Approach to Combine Heterogeneous Software Testing Techniques.
SBFT
Robin David, Richard Abou Chaaya, Christian Heitman
2022 — conf
Building a Commit-level Dataset of Real-world Vulnerabilities.
CODASPY
Alexis Challande, Robin David, Guénaël Renault
2018 B conf
Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing.
LPAR
Benjamin Farinier, Robin David, Sébastien Bardin, Matthieu Lemerre
2017 A* conf
Backward-Bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes.
IEEE Symposium on Security and Privacy
Sébastien Bardin, Robin David, Jean-Yves Marion
2017 — —
Formal Approaches for Automatic Deobfuscation and Reverse-engineering of Protected Codes. (Approches formelles de désobfuscation automatique et de rétro-ingénierie de codes protégés).
Robin David
2016 A conf
BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis.
SANER
Robin David, Sébastien Bardin, Thanh Dinh Ta, Laurent Mounier, Josselin Feist, Marie-Laure Potet, Jean-Yves Marion
2016 — conf
Finding the needle in the heap: combining static analysis and dynamic symbolic execution to trigger use-after-free.
SSPREW@ACSAC
Josselin Feist, Laurent Mounier, Sébastien Bardin, Robin David, Marie-Laure Potet
2016 A conf
Specification of concretization and symbolization policies in symbolic execution.
ISSTA
Robin David, Sébastien Bardin, Josselin Feist, Laurent Mounier, Marie-Laure Potet, Thanh Dinh Ta, Jean-Yves Marion
2016 J jnl
Targeting Infeasibility Questions on Obfuscated Codes.
CoRR
Robin David, Sébastien Bardin, Jean-Yves Marion
2015 A conf
Sound and Quasi-Complete Detection of Infeasible Test Requirements.
ICST
Sébastien Bardin, Mickaël Delahaye, Robin David, Nikolai Kosmatov, Mike Papadakis, Yves Le Traon, Jean-Yves Marion