Robin David

According to our database, Robin David authored at least 10 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

PASTIS: A Collaborative Approach to Combine Heterogeneous Software Testing Techniques.

Robin David, Richard Abou Chaaya, Christian Heitman

Proceedings of the IEEE/ACM International Workshop on Search-Based and Fuzz Testing, 2023

2022

Building a Commit-level Dataset of Real-world Vulnerabilities.

Alexis Challande, Robin David, Guénaël Renault

Proceedings of the CODASPY '22: Twelveth ACM Conference on Data and Application Security and Privacy, Baltimore, MD, USA, April 24, 2022

2018

Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing.

Benjamin Farinier, Robin David, Sébastien Bardin, Matthieu Lemerre

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

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

PhD thesis, 2017

Backward-Bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes.

Sébastien Bardin, Robin David, Jean-Yves Marion

Proceedings of the 2017 IEEE Symposium on Security and Privacy, 2017

2016

Targeting Infeasibility Questions on Obfuscated Codes.

Robin David, Sébastien Bardin, Jean-Yves Marion

CoRR, 2016

BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis.

Robin David, Sébastien Bardin, Thanh Dinh Ta, Laurent Mounier, Josselin Feist, Marie-Laure Potet, Jean-Yves Marion

Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Specification of concretization and symbolization policies in symbolic execution.

Robin David, Sébastien Bardin, Josselin Feist, Laurent Mounier, Marie-Laure Potet, Thanh Dinh Ta, Jean-Yves Marion

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

Finding the needle in the heap: combining static analysis and dynamic symbolic execution to trigger use-after-free.

Josselin Feist, Laurent Mounier, Sébastien Bardin, Robin David, Marie-Laure Potet

Proceedings of the 6th Workshop on Software Security, Protection, and Reverse Engineering, 2016

2015

Sound and Quasi-Complete Detection of Infeasible Test Requirements.

Sébastien Bardin, Mickaël Delahaye, Robin David, Nikolai Kosmatov, Mike Papadakis, Yves Le Traon, Jean-Yves Marion

Proceedings of the 8th IEEE International Conference on Software Testing, 2015