Robin David

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 8

Top Venues

ICST

SANER

IEEE Symposium on Security and Privacy

CoRR

University of Lorraine, Nancy, France (PHD)

Education History

University of Lorraine, Nancy, France

PHD

Publications

Robin David, Richard Abou Chaaya, Christian Heitman
PASTIS: A Collaborative Approach to Combine Heterogeneous Software Testing Techniques. SBFT (2023)
Alexis Challande, Robin David, Guénaël Renault
Building a Commit-level Dataset of Real-world Vulnerabilities. CODASPY (2022)
Benjamin Farinier, Robin David, Sébastien Bardin, Matthieu Lemerre
Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing. LPAR (2018)
Sébastien Bardin, Robin David, Jean-Yves Marion
Backward-Bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes. IEEE Symposium on Security and Privacy (2017)
Josselin Feist, Laurent Mounier, Sébastien Bardin, Robin David, Marie-Laure Potet
Finding the needle in the heap: combining static analysis and dynamic symbolic execution to trigger use-after-free. SSPREW@ACSAC (2016)
Robin David, Sébastien Bardin, Jean-Yves Marion
Targeting Infeasibility Questions on Obfuscated Codes. CoRR (2016)
Robin David, Sébastien Bardin, Thanh Dinh Ta, Laurent Mounier, Josselin Feist, Marie-Laure Potet, Jean-Yves Marion
BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis. SANER (2016)
Robin David, Sébastien Bardin, Josselin Feist, Laurent Mounier, Marie-Laure Potet, Thanh Dinh Ta, Jean-Yves Marion
Specification of concretization and symbolization policies in symbolic execution. ISSTA (2016)
Sébastien Bardin, Mickaël Delahaye, Robin David, Nikolai Kosmatov, Mike Papadakis, Yves Le Traon, Jean-Yves Marion
Sound and Quasi-Complete Detection of Infeasible Test Requirements. ICST (2015)

Robin David.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Robin David